lean

Theorem prover
https://leanprover.github.io/

Current versions
3.3.0
HEAD

lean requires the following formulae to be installed:
cmake 3.9.6 Cross-platform make
gmp 6.1.2_1 GNU multiple precision arithmetic library
jemalloc 5.0.1 malloc implementation emphasizing fragmentation avoidance

Formula history

ilovezfs Use “squiggly” heredocs.
ilovezfs lean 3.3.0
Tej Chajed lean 3.2.0 (new formula)