leanprover

leanprover

🏢 Organization

3 repositories on SrcLog

View on GitHub
3 Repos
3k Stars
470 Forks
26 Watchers

Repositories (3)

lean3 leanprover/lean3 C++

Lean Theorem Prover

2.2k
cslib leanprover/cslib Lean

The Lean Computer Science Library (CSLib)

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

Emacs major mode for Lean 4

139