__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
database.py,sha256=9CVlfw0LP02wCaGoomk-qNICwChVYiFYWUBPFjxZQ28,6745
obvious.py,sha256=uQNCKND9ZgUMWVUZzVqE2EQoC8r-N5-a6w4CXFnI-m8,2521
parse.py,sha256=lDM9Wt8fH4vsq11yRbRjtgsyybJ4Py0Twj4WS_gfGlM,7411
proof.py,sha256=6KMOe9ggwJYcIgBUOFZCDzYIv6rFaqWZkzDzq41Iqx8,10424
scratch.py,sha256=XJubSDxfNeqEeIDOF-XOHExfJbqlxuxnSb1kGdDqKLk,1012
theory.py,sha256=X1DTc3thShg6wv6QUXRlzThaAVMeXRmGx34cZPYk120,6352
training_data.py,sha256=gxemQEiUNWsRXTp4pjA4vc3JHM8zoDAoE8Ya08iF7pQ,889
metamath_py-0.0.1.dist-info/LICENSE,sha256=nhUJAPbK8e1eIVuDrqhZ4CLhQp_mdVQB_uYykc3mgvY,1088
metamath_py-0.0.1.dist-info/METADATA,sha256=cJJOxudax8x1iSQ3AvID6yW4OL2_n-cgcbGbrAjBXNM,572
metamath_py-0.0.1.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
metamath_py-0.0.1.dist-info/top_level.txt,sha256=HQytbMFotxOs1kJ3PR4pYH5zSJd1_iSwd1Ay48FUF_o,67
metamath_py-0.0.1.dist-info/RECORD,,
