siddhartha-gadgil/lean-loris

Experiments with some ways of automating reasoning in lean 4

语言：Jupyter Notebook · GitHub 星标：19 · Fork：1

话题：lean4

在 GitHub 上查看原仓库