Lean Theorem Prover
Mathematics/Psychology : 106
·
Title: Formalizing Theorems in Mathematics and Theories in Science and Engineering Abstract: Lean is an interactive theorem prover for writing and verifying mathematical proofs with...
myUMBC is a UMBC limited public community forum for information sharing and dialogue. As a public institution, UMBC generally may not limit a community member's right to free speech on this forum. UMBC does not endorse the views expressed or information presented here, unless specifically stated in an official UMBC post. Learn more...