Skip to content

@lean-machines-central lean-machines-central

Change the repository type filter

All

    Repositories list

    2 repositories

    • lean-machines

      Public
      a Lean4 framework for the modeling and refinement of stateful systems
      formal-methodsevent-blean4
      Lean
      •
      Apache License 2.0
      •2•11•0•2•Updated Apr 10, 2025Apr 10, 2025

    • lean-machines-examples

      Public
      Example specifications for the Lean Machines modelling framework
      Lean
      •
      Apache License 2.0
      •1•5•0•0•Updated Mar 13, 2025Mar 13, 2025