Thanks for the reply and for the link, Jim
I'll give setting up a Nim environment a shot (though I must admit I don't have any prior experience with it) and see if I can test it against the .mm test file suite. Alternatively, I might try reaching out to the author of Forematics, even though it's a project from four years ago. 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/f3277224-8643-42db-b4e0-f9a5a1d5ea08n%40googlegroups.com.
