math/lean4
| Maintainer | yuri@FreeBSD.org |
|---|---|
| Version | 4.35.0 |
| Comment | Theorem prover and functional language for math (new gen) |
| Categories | devel, lang, math |
| Links | FreshPorts upstream |
Fallout list
14 fallouts of a version the ports tree has moved past are left out. Show them.
No pkg-fallout recorded for this port.