scratch
§
Lean4 TODOS
created 2022-06-03
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?
❦