v 3.51.1 Updated: 1 year, 2 months ago
The Lean theorem prover.
A fork of Lean 3 maintained and updated by the Lean community. Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.
https://github.com/leanprover-community/lean
To install lean, paste this into the macOS Terminal after installing MacPorts
sudo port install lean
| Installations | 3 |
| Requested Installations | 3 |