There are 1 repository under metamath topic.
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).
Guide on how to use the metamath-lamp proof assistant
Nonlinear Mathematics Example
Principia: Metamath-like Logician Language