aesop
White-box automation for Lean 4
Displaying 1-20 of 30 versions of aesop
Sort by
Date
- Not a part of any version track.
a4a08d9
- Not a part of any version track.
8b6048a
v4.15.0-rc119 days agoReleased on December 2, 2024 at 3:06:45AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0-rc1 - Not a part of any version track.
5a0ec85
v4.14.019 days agoReleased on December 2, 2024 at 12:22:28AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.14.0 - Not a part of any version track.
45d016d
v4.14.0-rc12 months 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.
28fa805
v4.12.03 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.
ad85095
v4.12.0-rc14 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.
deb279e
v4.11.04 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.
ae6ea60
v4.11.0-rc14 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.
209712c
v4.10.05 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.
a64fe24
v4.10.0-rc16 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.
06cca4b
v4.9.06 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.
8a2b60a
v4.9.0-rc16 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.
53ba96a
v4.8.06 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.
e8c8a42
v4.8.0-rc27 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.
0a21a48
v4.8.0-rc18 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.
5fefb40
v4.7.09 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.
8be30c2
v4.7.0-rc29 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.
ae76973
v4.6.110 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