leanprover

leanprover

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
2.2k Stars
238 Forks
2.2k Watchers

Repositories (2)

lean3 leanprover/lean3 C++

Lean Theorem Prover

2.2k
lean4-mode leanprover/lean4-mode Emacs Lisp

Emacs major mode for Lean 4

32