leanprover

leanprover

🏢 Organization

3 repositories on SrcLog

View on GitHub
3 Repos
2.8k Stars
394 Forks
2.8k Watchers

Repositories (3)

lean3 leanprover/lean3 C++

Lean Theorem Prover

2.2k
cslib leanprover/cslib Lean

The Lean Computer Science Library (CSLib)

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

Emacs major mode for Lean 4

124