⭐ Star AlbumentationsX on GitHub — 307+ stars and counting!

Star on GitHub
anoma

goose-lean

anoma/goose-lean

GOOSE in Lean4

12stars
View on GitHub
Forks
5
Open issues
4
Watchers
12
Size
0.6 MB
LeanISC License
Created: Jun 16, 2025
Updated: Dec 19, 2025
Last push: Dec 19, 2025