Reservoir
No results found
All Packages
lean-machines
a Lean4 framework for the modeling and refinement of stateful systems
#event-b
#formal-methods
Readme
Versions (1)
Dependencies (7)
Displaying
1-1
of
1
versions of
lean-machines
Sort by
Date
Not a part of any version track.
e739cdb
ifm2024-final
a month ago
Released on August 21, 2024 at 3:25:03PM
Commit e739cdb builds on its recent leanprover/lean4:v4.11.0-rc2
v4.11.0-rc2
48.1 MB
Build archive size: 48107882 bytes.
1
20