marcusrossel / lean-eggLinks

A (WIP) equality saturation tactic for Lean based on egg.
60Updated this week

Alternatives and similar repositories for lean-egg

Users that are interested in lean-egg are comparing it to the libraries listed below

Sorting: