Sort by
Require Order
proofwidgets
v0.0.39
Helper toolkit for creating your own Lean 4 UserWidgetsimportGraph
68b518c
Tools to analyse and visualise the import structure of Lean packages and their files.arithmetization
1bfdc1b
Formalization of Arithmetization of Mathematics/Metamathematicsdoc-gen4
b941c42
Document Generator for Lean 4