Closed david-a-wheeler closed 1 year ago
If you'd prefer that I announce it, please just say the word.
Thank you David! I will announce it soon. I planned to do it later because I had to compose a text, but you've already done this, so I will announce today :)
@david-a-wheeler
David could you please announce the release as you proposed? Looks like I don't have time to do it today :)
Sure!
Thank you!
Did you plan to announce the release of metamath-lamp version 11 to the Metamath mailing list?
I think it's a very worthy thing to announce. You could look here to remind yourself of your accomplishments: https://github.com/expln/metamath-lamp/milestone/1
Something like this:
===
Metamath-lamp proof assistant version 11 has now been released. You can try it out here: https://expln.github.io/lamp/latest/index.html
Major additions:
Documentation is available at: https://lamp-guide.metamath.org/