1 2 3
e. x = x. % rewriter group.demods: rewrote 2 terms with 13 rewrite steps in 0.00 seconds.
Loggerhead is a web-based interface for Breezy Version: 2.0.1