Repository navigation

Order

Public

About

Lean Formalization of "Bringing Order to the Separation Logic Jungle"

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
Order		Order
.gitignore		.gitignore
Order.lean		Order.lean
README.md		README.md
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

Bringing Order to the Separation Logic Jungle

Unofficial Lean Version

Paper Appendix Rocq Formalization

About

Lean Formalization of "Bringing Order to the Separation Logic Jungle"

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages