Hi Igor, the .mm parser is REALLY fast.
Does it also do validation? How is it implemented? Server side? Javascript? Webassembly? Thanks for this cool tool. 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 on the web visit https://groups.google.com/d/msgid/metamath/ec09a8f3-0346-4adf-8cdd-0267adc9d4e9n%40googlegroups.com.
