|
mathlibtools
☆
« Back to VersTracker
|
||||||||||||||||||||||||||||||||||||||||
|
Description: Lean prover mathlib supporting tools |
||||||||||||||||||||||||||||||||||||||||
| Type: Formula | Tracked Since: Oct 15, 2023 | ||||||||||||||||||||||||||||||||||||||||
| Links: Homepage | formulae.brew.sh | ||||||||||||||||||||||||||||||||||||||||
| Install: brew install mathlibtools | ||||||||||||||||||||||||||||||||||||||||
| Version History | ||||||||||||||||||||||||||||||||||||||||
|