lean-machines
a Lean4 framework for the modeling and refinement of stateful systems
1-1 of 1 packages depending on lean-machines-central/lean-machines
Sort by
Package Name
lean-machines-central/lean-machines-examplesuses
4f0816cExample specifications for the Lean Machines modelling framework