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).
You can save, cancel, or question when editing Description, Variables, and Disjoints. However, sometimes you'd like to just delete the whole thing - it'd be nice to add a trash can icon as well.
You can save, cancel, or question when editing Description, Variables, and Disjoints. However, sometimes you'd like to just delete the whole thing - it'd be nice to add a trash can icon as well.