lean-machines-examples
Example specifications for the Lean Machines modelling framework
Sort by
Require Order
lean-machines
ff45081a Lean4 framework for the modeling and refinement of stateful systems
lean-machines-examplesff45081