Reservoir
No results found
All Packages
egg
A (WIP) equality saturation tactic for Lean based on egg.
Readme
Versions (1)
Dependencies (1)
Displaying
1-1
of
1
versions of
egg
Sort by
Date
Not a part of any version track.
a84787b
5 days ago
Released on May 6, 2025 at 8:15:35AM
Commit a84787b builds on its recent leanprover/lean4:v4.20.0-rc3
v4.20.0-rc3
30.1 MB
Build archive size: 30091606 bytes.
1
20