A quick experiment to demonstrate Metamath formula parsing, where the grammar is embedded in a few additional 'syntax axioms'.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool