expln/metamath-lamp

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

Opened this issue · 0 comments

expln commented

For more details see metamath/lamp-guide#78 (comment)