siddhartha-gadgil/lean-loris
Experiments with some ways of automating reasoning in lean 4
Jupyter NotebookMIT
No issues in this repository yet.
Experiments with some ways of automating reasoning in lean 4
Jupyter NotebookMIT
No issues in this repository yet.