marcusrossel / lean-eggLinks

A (WIP) equality saturation tactic for Lean based on egg.
61Updated last week

Alternatives and similar repositories for lean-egg

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

Sorting: