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...