/lean-loris

Experiments with some ways of automating reasoning in lean 4

Primary LanguageJupyter NotebookMIT LicenseMIT

No issues in this repository yet.