Reservoir
No results found
All Packages
GinacLean
A work-in-progress Lean 4 binding to GiNaC
Readme
Versions (7)
Displaying
1-7
of
7
versions of
GinacLean
Sort by
Date
Not a part of any version track.
e302cf8
4 months ago
Released on June 14, 2024 at 6:18:11AM
Commit e302cf8 builds on its old leanprover/lean4:v4.8.0
v4.8.0
Not a part of any version track.
ad8b1dc
v0.0.1-alpha.5
a year ago
Released on October 19, 2023 at 9:14:13AM
Commit ad8b1dc fails to build on leanprover/lean4:v4.2.0-rc3
v4.2.0-rc3
Not a part of any version track.
7d4ccce
v0.0.1-alpha.4
a year ago
Released on October 19, 2023 at 6:07:06AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.2.0-rc3
Not a part of any version track.
23d249c
v0.0.1-alpha.3
a year ago
Released on October 19, 2023 at 1:40:19AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.2.0-rc3
Not a part of any version track.
75f479e
v0.0.1-alpha.2
a year ago
Released on October 17, 2023 at 10:52:17AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.2.0-rc3
Not a part of any version track.
4e62b26
v0.0.1-alpha.1
a year ago
Released on October 17, 2023 at 7:57:04AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.2.0-rc3
Not a part of any version track.
39b7f57
v0.0.1-alpha
a year ago
Released on October 16, 2023 at 2:17:06PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.0.0
1
20