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
Detected Version Rev Change Commit
Oct 15, 2023 5:01pm 5 VERSION_BUMP e44f339b
Sep 29, 2023 7:55pm 5 VERSION_BUMP 6d9a1465
Sep 4, 2023 2:03pm 5 VERSION_BUMP ae8188ff
Sep 2, 2023 8:22am 5 VERSION_BUMP 48b5a35f
Aug 2, 2023 9:46am 4 VERSION_BUMP a16d8d25
Jun 3, 2023 3:24pm 0 VERSION_BUMP ac0a640d
Jun 3, 2023 12:43pm 0 VERSION_BUMP 6d0fe7a7
Feb 10, 2023 7:08am 0 VERSION_BUMP b7357a6f
Feb 10, 2023 7:08am 0 VERSION_BUMP b949344b
Dec 16, 2022 1:31am 0 VERSION_BUMP 8548f5b4
Dec 16, 2022 1:31am 0 VERSION_BUMP 58203635
« Back to VersTracker  |  Browse Packages  |  About