☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (4)
Dependencies (9)
goose
0.1.0
GOOSE in Lean4
Displaying
1-4
of
4
versions of
goose
Sort by
Date
0.1
Version track: 0.1
0.1.0
v0.2.1
6 hours ago
Released on August 6, 2025 at 10:08:36AM
Commit 0322377 builds on its recent 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.1
6 hours ago
Released on August 6, 2025 at 10:08:36AM
Commit 0322377 builds on its recent 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
8 days ago
Released on July 29, 2025 at 10:48:41AM
Commit f7d9c22 builds on its recent 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
a month 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