lean-machines-examples
Example specifications for the Lean Machines modelling framework
of 8 dependencies of lean-machines-examples
1-8Sort by
Require Order
batteries
ad26fe1
The "batteries included" extended library for the Lean programming language and theorem proverQq
71f5442
Intuitive, type-safe expression quotations for Lean 4.aesop
776a5a8
White-box automation for Lean 4proofwidgets
v0.0.41
Helper toolkit for creating your own Lean 4 UserWidgets- Cli
2cf1030
importGraph
57bd206
Tool to analyse the import structure of lean projects.- mathlib
ee3fc23
- lean-machines
27e1d24