1. When preparing the challenge, I was wondering if I missed a bracket somewhere or forgot to put some brackets etc. Is there an easy way to check that a statement passes grammar checks? I think mmj2 could do that, but it is rather cumbersome to use as it is not really supported anymore.
Hi Savask, Yamma checks the grammar of every line of a .mmp file It gives you a Diagnostic at the first symbol that does violate the grammar (and it suggests you all possible valid characters, at that point of the line) But I believe that Yamma is at least as cumbersome as mmj2 :-) -- 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 on the web visit https://groups.google.com/d/msgid/metamath/76eae006-b50e-472d-b863-9cda50fa643cn%40googlegroups.com.
