rewrite-system-interface An implementation of rewrite systems in Lean together with a point-and-click interface for rewriting.