Reservoir
No results found
All Packages
auto
Experiments in automation for Lean
Readme
Versions (11)
Dependents (2)
Displaying
1-11
of
11
versions of
auto
Sort by
Date
Not a part of any version track.
d627c4c
3 days ago
Released on December 28, 2024 at 2:03:21AM
Commit d627c4c builds on its recent leanprover/lean4:v4.14.0
v4.14.0
60.3 MB
Build archive size: 60274287 bytes.
Not a part of any version track.
bfd373f
v4.11.0
4 months ago
Released on September 10, 2024 at 7:08:59AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.11.0
Not a part of any version track.
9bfc3ca
v0.0.7
10 months ago
Released on February 20, 2024 at 3:02:11AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.6.0-rc1
Not a part of any version track.
b535939
v0.0.6
a year ago
Released on February 3, 2024 at 3:41:28AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.6.0-rc1
Not a part of any version track.
9310520
v4.6.0-rc1
a year ago
Released on February 2, 2024 at 1:37:03PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.6.0-rc1
Not a part of any version track.
d5afbe8
v0.0.5
a year ago
Released on January 21, 2024 at 11:36:26PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.5.0-rc1
Not a part of any version track.
b61345f
v0.0.4
a year ago
Released on December 19, 2023 at 5:47:02PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.4.0-rc1
Not a part of any version track.
b2db928
v0.0.3
a year ago
Released on December 19, 2023 at 4:46:59PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.4.0-rc1
Not a part of any version track.
c42a690
v0.0.2
a year ago
Released on December 15, 2023 at 3:38:26AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.3.0-rc1
Not a part of any version track.
af727b0
v0.0.1
a year ago
Released on December 15, 2023 at 3:24:32AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.3.0-rc1
Not a part of any version track.
77d9f3f
v0.0.0
a year ago
Released on December 15, 2023 at 2:50:26AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.3.0-rc1
1
20