search

expln / 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).
https://expln.github.io/lamp/latest/index.html
MIT License
12 stars 5 forks source link

Embed the "current version of Metamath-lamp" in the exported JSON #128

Open expln opened 1 year ago

expln commented 1 year ago

For more details see https://github.com/metamath/lamp-guide/issues/78#issuecomment-1608197594