Hello all, Just now I uploaded some ugly code to GitHub ( https://github.com/marnix/mmpyparse) that implements 'syntax axiom based parsing' for Metamath files.
I posted about that earlier, in 2015, 2016, and 2019 (see GitHub README for exac references), and occasionally worked on a proof-of-concept implementation, but never got around to cleaning it up. Now I realized I don't know when I _will_ get around to that, so I've uploaded it mostly as-is. I tried to do a brief-but-careful write-up in the README file, though. Hope this is useful to someone! Groetjes, <>< Marnix -- Marnix Klooster [email protected] -- 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/CAF7V2P8AGB9Gd3zSxmH01ng7wDcC3eaDzG%2BRPjymzTuXEh8JyQ%40mail.gmail.com.
