lean

v 3.50.3 Updated: 1 year, 5 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 in macOS terminal after installing MacPorts

sudo port install lean

Add to my watchlist

Installations 3
Requested Installations 3