issues
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
Fix a bug in proveWithJustification() when required proof was not found by the prover because of another valid proof
#113
Closed
expln
closed
1 year ago