aesop
White-box automation for Lean 4
Displaying 1-20 of 28 versions of aesop
Sort by
Date
- Not a part of any version track.
de91b59 - Not a part of any version track.
45d016dv4.14.0-rc117 days agoReleased on November 4, 2024 at 1:02:05AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.14.0-rc1 - Not a part of any version track.
5f93489 - Not a part of any version track.
b20a886 - Not a part of any version track.
28fa805v4.12.02 months agoReleased on October 1, 2024 at 6:34:54AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
ad85095v4.12.0-rc13 months agoReleased on September 3, 2024 at 4:14:54AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0-rc1 - Not a part of any version track.
deb279ev4.11.03 months agoReleased on September 2, 2024 at 1:40:58AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0 - Not a part of any version track.
ae6ea60v4.11.0-rc13 months agoReleased on August 5, 2024 at 4:16:14AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0-rc1 - Not a part of any version track.
209712cv4.10.04 months agoReleased on July 31, 2024 at 9:55:05AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0 - Not a part of any version track.
a64fe24v4.10.0-rc15 months agoReleased on July 1, 2024 at 1:26:46AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0-rc1 - Not a part of any version track.
06cca4bv4.9.05 months agoReleased on July 1, 2024 at 12:50:46AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0 - Not a part of any version track.
8a2b60av4.9.0-rc15 months agoReleased on June 7, 2024 at 1:17:18AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0-rc1 - Not a part of any version track.
53ba96av4.8.05 months agoReleased on June 5, 2024 at 3:52:55AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0 - Not a part of any version track.
e8c8a42v4.8.0-rc26 months agoReleased on May 22, 2024 at 2:31:44AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc2 - Not a part of any version track.
0a21a48v4.8.0-rc17 months agoReleased on May 2, 2024 at 11:56:27AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc1 - Not a part of any version track.
5fefb40v4.7.08 months agoReleased on April 3, 2024 at 9:26:20AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0 - Not a part of any version track.
8be30c2v4.7.0-rc28 months agoReleased on March 6, 2024 at 9:11:15PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0-rc2 - Not a part of any version track.
ae76973v4.6.19 months agoReleased on March 5, 2024 at 10:29:34PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.6.1 - Not a part of any version track.
056ca0f - Not a part of any version track.
c51fa8e