Sounds good to me. You should be able to make a pull request to
https://github.com/metamath/metamath-website-seed/blob/main/other.html .
On 1/4/25 12:01, Glauco wrote:
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
<https://groups.google.com/d/msgid/metamath/d7afc7df-8475-434d-8700-12deb6c482c1n%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
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/76470b72-fb20-4752-8d66-f35d308408dc%40panix.com.
