lean-machines-centrallean-machines

a Lean4 framework for the modeling and refinement of stateful systems
Displaying 1-1 of 1 packages depending on lean-machines-central/lean-machines
Sort by

  1. lean-machines-central/lean-machines-examplesuses293ba18

    Example specifications for the Lean Machines modelling framework