GitHub repository: marcusrossel/lean-egg
Primary language: Lean
Created: 2024-01-15T08:14:48Z
Description: A (WIP) equality saturation tactic for Lean based on egg.