http://metamath.tirix.org/mpeuni/ax-mp If I click on min or maj then it gives a 404. More generally this issue appears when I click on hypotheses. Are they not intended to be clickable?
Good point. One solution is to make then not clickable, another would be to display the syntax breakdown for them. The first option seems to be much easier, and I don't see the interest of showing the syntax breakdown just for those and not for all proof steps.
Making them not clickable is probably the best solution. Even in the official metamath website they are implemented this way.
Mentioned in #10
Making them not clickable is probably the best solution. Even in the official metamath website they are implemented this way.