bonnAnalysis
repository for the collaborative formalization seminar in Analysis in Bonn
of 11 dependencies of bonnAnalysis
1-11Sort by
Require Order
batteries
dc4a6b1
The "batteries included" extended library for the Lean programming language and theorem proverQq
a7bfa63
Intuitive, type-safe expression quotations for Lean 4.aesop
26b4e42
White-box automation for Lean 4proofwidgets
v0.0.39
Helper toolkit for creating your own Lean 4 UserWidgets- Cli
a115660
importGraph
v4.10.0-rc1
Tool to analyse the import structure of lean projects.- mathlib
b387c54
- checkdecls
21a36f3
- MD4Lean
9148a0a
- UnicodeBasic
c74a052
- doc-gen4
194403b