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

Error when < appears in description #174

Open BTernaryTau opened 7 months ago

BTernaryTau commented 7 months ago

If a theorem has the '<' character in its description (such as wlkres), mm-lamp gives the error 'Attribute "style" is not supported.' when displaying the description.

image
expln commented 7 months ago

For now, as a workaround, you may type &lt; instead of <. This will result in showing < on the Editor tab correctly, but &lt; will be showed in the completed proof, so you'll have to replace it manually if you want to put the proof to an MM database.

I am thinking on how to fix this bug.