A user interface for the Metamath web pages
This small set of javascript and stylesheets adds the following features to Metamath's proof pages:
- highlighting antecedents and dependents of each proof step,
- tree-like collapsing and expanding of proof steps,
- ASCII source Metamath formula is shown when hovering over a formula,
- copying of the ASCII source Metamath formula