|
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 | ||||||||||||||||||||||||||||||||||||||||||||||||||
|