No results found

lean-machines

a Lean4 framework for the modeling and refinement of stateful systems
#event-b #formal-methods
Displaying 1-7 of 7 dependencies of lean-machines
Sort by

  1. batteries
    ad26fe1

    The "batteries included" extended library for the Lean programming language and theorem prover

  2. Qq
    71f5442

    Intuitive, type-safe expression quotations for Lean 4.

  3. aesop
    776a5a8

    White-box automation for Lean 4

  4. proofwidgets
    v0.0.41

    Helper toolkit for creating your own Lean 4 UserWidgets

  5. Cli
    2cf1030

  6. importGraph
    57bd206

    Tool to analyse the import structure of lean projects.

  7. mathlib
    ee3fc23