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.


To install lean, paste this in macOS terminal after installing MacPorts

sudo port install lean

Add to my watchlist

Installations 3
Requested Installations 3