leanprover

leanprover

🏢 Organization

3 repositories on SrcLog

View on GitHub
3 Repos
2.9k Stars
444 Forks
31 Watchers

Repositories (3)

lean3 leanprover/lean3 C++

Lean Theorem Prover

2.2k
cslib leanprover/cslib Lean

The Lean Computer Science Library (CSLib)

633
lean4-mode leanprover-community/lean4-mode Emacs Lisp

Emacs major mode for Lean 4

133