formalmath/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
formalmath/metamath/__init__.py,sha256=cBa_nUJGBwC7i38Bxw2-_FM7A7WPNSUaopTOvkakVfo,30
formalmath/metamath/core.py,sha256=D5ER_H3Br0dIN6YOSvM_bBg8h9ZIbfejp6KE5hA_HmM,12505
formalmath-0.1.0.dist-info/licenses/LICENSE.txt,sha256=gXf5dRMhNSbfLPYYTY_5hsZ1r7UU1OaKQEAQUhuIBkM,18092
formalmath-0.1.0.dist-info/METADATA,sha256=NlsyJdWSXvpmxk5PN0R77Uz1volYnFwuvbE53ic_MYc,4518
formalmath-0.1.0.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
formalmath-0.1.0.dist-info/top_level.txt,sha256=famMhmv21FWc0Lu0R-sf3e5lAQo82dODqvsXqAkEuzM,11
formalmath-0.1.0.dist-info/RECORD,,
