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
Detected Version Rev Change Commit
Sep 4, 2023 8:07pm 0 VERSION_BUMP 6ed5a527
Dec 29, 2022 10:05pm 0 VERSION_BUMP 624027a6
Dec 29, 2022 10:05pm 0 VERSION_BUMP 3068e02e
Dec 24, 2022 7:04pm 0 VERSION_BUMP 0ef142b4
Dec 24, 2022 7:04pm 0 VERSION_BUMP fcc7e17b
Dec 23, 2022 4:35am 0 VERSION_BUMP 7b94358d
Dec 23, 2022 4:35am 0 VERSION_BUMP f239a3fa
Nov 21, 2022 8:06pm 0 VERSION_BUMP c436eebb
Nov 21, 2022 2:06pm 0 VERSION_BUMP 9eee14ac
Nov 21, 2022 2:06pm 0 VERSION_BUMP 94a1888c
Nov 18, 2022 5:58am 0 VERSION_BUMP d93de307
« Back to VersTracker  |  Browse Packages  |  About