|
lean
☆
« Back to VersTracker
|
||||||||||||||||||||||||||||||||||||||||
|
Description: Theorem prover |
||||||||||||||||||||||||||||||||||||||||
| Type: Formula | Tracked Since: Sep 4, 2023 | ||||||||||||||||||||||||||||||||||||||||
| Links: Homepage | formulae.brew.sh | ||||||||||||||||||||||||||||||||||||||||
| Install: brew install lean | ||||||||||||||||||||||||||||||||||||||||
| Version History | ||||||||||||||||||||||||||||||||||||||||
|