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
11 stars 4 forks source link

166 Fix "dev version gives exlimivv as an option even though it's invalid" #168

Closed expln closed 9 months ago

expln commented 9 months ago

Fix "dev version gives exlimivv as an option even though it's invalid" from https://github.com/expln/metamath-lamp/issues/166#issuecomment-1751814880