LogoopenSUSE Build Service > Projects
Sign Up | Log In

lean

Lean is a new open source theorem prover being developed at Microsoft Research, and its standard library at Carnegie Mellon University. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains.

Source Files

Filename Size Changed Actions
lean-3.4.1.tar.gz 1.73 MB about 2 months ago Download File
lean.spec 3.9 KB about 2 months ago Download File

Comments for home:geewass (0)