☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (5)
Dependencies (9)
goose
0.1.0
GOOSE in Lean4
Displaying
1-5
of
5
versions of
goose
Sort by
Date
0.1
Version track: 0.1
0.1.0
2 days ago
Released on October 7, 2025 at 11:13:39AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.22.0
0.1
Version track: 0.1
0.1.0
v0.3.0
10 days ago
Released on September 29, 2025 at 12:15:39PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.22.0
0.1
Version track: 0.1
0.1.0
v0.2.1
2 months ago
Released on August 6, 2025 at 10:08:36AM
Commit 0322377 builds on its old leanprover/lean4:v4.21.0
v4.21.0
3.9 MB
Build archive size: 3935138 bytes.
0.1
Version track: 0.1
0.1.0
v0.2.0
2 months ago
Released on July 29, 2025 at 10:48:41AM
Commit f7d9c22 builds on its old leanprover/lean4:v4.21.0
v4.21.0
3.6 MB
Build archive size: 3562839 bytes.
0.1
Version track: 0.1
0.1.0
v0.1.0
3 months ago
Released on July 2, 2025 at 9:45:11AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.20.1
1
20