tutorial
Aeneas tutorial for ICFP
1-8 of 8 dependencies of tutorial
Sort by
Require Order
batteries
e6d3a32The "batteries included" extended library for the Lean programming language and theorem proverQq
71f5442Intuitive, type-safe expression quotations for Lean 4.aesop
c792cfdWhite-box automation for Lean 4proofwidgets
v0.0.41Helper toolkit for creating your own Lean 4 UserWidgets- Cli
2cf1030 importGraph
57bd206Tool to analyse the import structure of lean projects.- mathlib
9d7806d - base
6517bc9