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
14 stars 5 forks source link

180 Set the default value of "Allow new variables" to false in the bo… #181

Closed expln closed 11 months ago

expln commented 11 months ago

…ttom-up prover.