of 7 dependencies of aegis
1-7Sort by
Require Order
batteries
v4.10.0-rc2
The "batteries included" extended library for the Lean programming language and theorem proverQq
a7bfa63
Intuitive, type-safe expression quotations for Lean 4.aesop
deb5bd4
White-box automation for Lean 4proofwidgets
v0.0.39
Helper toolkit for creating your own Lean 4 UserWidgets- Cli
a115660
importGraph
68b518c
Tool to analyse the import structure of lean projects.- mathlib
984c68d