tutorial
Aeneas tutorial for ICFP
of 8 dependencies of tutorial
1-8Sort by
Require Order
batteries
e6d3a32
The "batteries included" extended library for the Lean programming language and theorem proverQq
71f5442
Intuitive, type-safe expression quotations for Lean 4.aesop
c792cfd
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
9d7806d
- base
6517bc9