./math/lean [interactive and automated theorem prover]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 3.35.1, Package name: lean-3.35.1
Maintained by: Theo Buehler
Master sites:
Description
Lean is an open source theorem prover and programming language. It 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.


Filesize: 1828.575 KB
Version History (View Complete History)
  • (2021-11-09) Updated to version: lean-3.35.1
  • (2021-08-17) Package added to openports.se, version lean-3.32.1 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2021-11-09 04:24:29 by Theo Buehler | Files touched by this commit (4)
Log message:
math/lean: update to 3.35.1