Hi everyone,
I’d like to suggest a couple of possible new entries for the Metamath verifiers page <https://us.metamath.org/other.html#verifiers>: 1. *Forematics* I recently stumbled upon this post from 2021 on the Nim forum: Show Nim: Forematics is a Metamath verifier written in Nim <https://forum.nim-lang.org/t/8691>. At the time of the post, Lean was listed at 61 on the 100-theorem list; today, it's at 79. - Forematics appears to be a Metamath verifier implemented in Nim. - The project has a GitHub repository <https://github.com/treeform/forematics>, which currently has 20 stars. I haven’t personally tried it, but it might be worth reviewing and potentially adding to the verifiers list. 2. *Yamma* Yamma uses the MmParser.ts class as its .mm parser verifier. It’s currently not listed on the verifiers page, but you can consider adding it if appropriate. Glauco -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/d7afc7df-8475-434d-8700-12deb6c482c1n%40googlegroups.com.
