leanprover/tc
Reference type checker for the Lean theorem prover
Public GitHub Catalog
Discovered Oct 20, 2026
leanprover / logic_and_proof_lean3
CMU Undergrad Course
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#40502733GitHub System ID
leanproverOrganization / User
PublicVisibility
ActiveCatalog Status
More from leanprover
leanprover/macports
macports repository for Lean
leanprover/Lean.tmbundle
A TextMate bundle for the Lean language
leanprover/emacs-dependencies
Auxiliary repository to store emacs packages required by Lean Emacs mode