/metamath-lamp

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).

Primary LanguageReScriptMIT LicenseMIT

Watchers

No one’s watching this repository yet.