No results found

lean-machines-examples

Example specifications for the Lean Machines modelling framework
Displaying 1-9 of 9 dependencies of lean-machines-examples
Sort by

  1. batteries
    2ce0037

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

  2. Qq
    v4.12.0-rc1

    Intuitive, type-safe expression quotations for Lean 4.

  3. aesop
    61fb4d1

    White-box automation for Lean 4

  4. proofwidgets
    v0.0.42

    Helper toolkit for creating your own Lean 4 UserWidgets

  5. Cli
    2cf1030

  6. importGraph
    fb7841a

    Tool to analyse the import structure of lean projects.

  7. LeanSearchClient
    2ba60fa

  8. mathlib
    33b95b3

  9. lean-machines
    805acad