Nouveau chat
Historique de recherche
Recherche académiqueRecherche d'articlesBibliothèqueDiscussions récentes
The Lean Theorem Prover (System Description)
The Lean Theorem Prover (System Description)
L. D. Moura,Soonho Kong,2 Auteurs,Jakob von Raumer
2015 · DOI: 10.1007/978-3-319-21401-6_26
CADE · 612 citations
TLDR
Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory.