A verifier for the Metamath Zero proof language.
update to 0.2.1
Created by  ammkrn  on January 12, 2022
YOUD2UWO6XXL3CV6UCF7VDY2SV4VZOALPQNUCQMK37ITYO6YEYAAC
bump version, refactor math parser, add prec disambiguation map
Created by  ammkrn  on February 7, 2021
O7HVFFGPDNLLC3NM7LRNJQTKEMZNACPJARIP35NGBKMGRW5CLEIAC
forgot to add recursively
Created by  ammkrn  on February 4, 2021
F4Z7XBCF3K6TRYGQT5JW2Y7Z2Y2GELCWCBX2IC5WDYFDIKWBESZQC
first commit to pijul
Created by  ammkrn  on January 29, 2021
GR4ZOYWLFJRQARLVGMT4WT5TP5XSMGTBNF5UDUJISDM55CWN62VAC