formalmath/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
formalmath/metamath/__init__.py,sha256=cBa_nUJGBwC7i38Bxw2-_FM7A7WPNSUaopTOvkakVfo,30
formalmath/metamath/core.py,sha256=zgEVOUQFR8KYel1DjmndMpbsEW9FW-WkxZXtTkrtvww,12171
formalmath-0.1.3.dist-info/licenses/LICENSE.txt,sha256=gXf5dRMhNSbfLPYYTY_5hsZ1r7UU1OaKQEAQUhuIBkM,18092
formalmath-0.1.3.dist-info/METADATA,sha256=n5_j7Jhdc-1iN5XXX4OsTdmXeLSFAfaRrd15DKFwAqs,4471
formalmath-0.1.3.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
formalmath-0.1.3.dist-info/top_level.txt,sha256=famMhmv21FWc0Lu0R-sf3e5lAQo82dODqvsXqAkEuzM,11
formalmath-0.1.3.dist-info/RECORD,,
