Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
The "Merge duplicated steps" dialog should indicate if a step is a hypothesis or a provable. Also the steps in the dialog should be shown in the same order how they appear in the editor.
expln
commented
9 months ago
The "Merge duplicated steps" dialog should indicate if a step is a hypothesis or a provable. Also the steps in the dialog should be shown in the same order how they appear in the editor.