leanprover/logic_and_proof_lean3
CMU Undergrad Course
Public GitHub Catalog
Discovered Oct 3, 2026
leanprover / cmu-15815-s15
CMU 15-815 Spring 2015 : Interactive Theorem Proving
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.
#26152512GitHub System ID
leanproverOrganization / User
PublicVisibility
ActiveCatalog Status
More from leanprover
leanprover/tc
Reference type checker for the Lean theorem prover
leanprover/macports
macports repository for Lean
leanprover/Lean.tmbundle
A TextMate bundle for the Lean language