1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-25 04:43:33 +00:00
freebsd-ports/math/lean/pkg-descr
2018-07-22 05:58:39 +00:00

9 lines
465 B
Plaintext

Lean is an open source theorem prover and programming language being developed
at Microsoft Research. Lean 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 mathematical components library mathlib for Lean is being
developed at Carnegie Mellon University.
WWW: https://leanprover.github.io/