§
Big list of Lean4 TODOS
Hoogle for Lean4.
show source in
doc-gen4
.
mutual
structure
definitions.
Make Lean4 goals go to line number when pressing
Convert lean book into
Jupyter
notebook?