lean

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

Current versions
3.3.0
HEAD

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

Recent formula history

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

Formula code at GitHub