A quick experiment to demonstrate Metamath formula parsing, where the grammar is embedded in a few additional 'syntax axioms'.
Primary LanguagePythonThe UnlicenseUnlicense