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.
e36ce98
7 days ago
Released on April 22, 2025 at 2:29:48PM
Commit e36ce98 builds on its recent leanprover/lean4:v4.18.0
v4.18.0
29.9 MB
Build archive size: 29887122 bytes.
1
20