metamathpy/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
metamathpy/database.py,sha256=9CVlfw0LP02wCaGoomk-qNICwChVYiFYWUBPFjxZQ28,6745
metamathpy/obvious.py,sha256=uQNCKND9ZgUMWVUZzVqE2EQoC8r-N5-a6w4CXFnI-m8,2521
metamathpy/parse.py,sha256=lDM9Wt8fH4vsq11yRbRjtgsyybJ4Py0Twj4WS_gfGlM,7411
metamathpy/proof.py,sha256=6KMOe9ggwJYcIgBUOFZCDzYIv6rFaqWZkzDzq41Iqx8,10424
metamathpy/scratch.py,sha256=XJubSDxfNeqEeIDOF-XOHExfJbqlxuxnSb1kGdDqKLk,1012
metamathpy/theory.py,sha256=X1DTc3thShg6wv6QUXRlzThaAVMeXRmGx34cZPYk120,6352
metamathpy/training_data.py,sha256=gxemQEiUNWsRXTp4pjA4vc3JHM8zoDAoE8Ya08iF7pQ,889
metamath_py-0.0.2.dist-info/LICENSE,sha256=nhUJAPbK8e1eIVuDrqhZ4CLhQp_mdVQB_uYykc3mgvY,1088
metamath_py-0.0.2.dist-info/METADATA,sha256=JgsoV2i8jJajSOByQuml_7dhZvFXYcnegCPAaiti0e0,588
metamath_py-0.0.2.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
metamath_py-0.0.2.dist-info/top_level.txt,sha256=WRT9-Ph2fgaWD-sWMRnztwQbl2BTAW2TC_cXhpRKKD8,11
metamath_py-0.0.2.dist-info/RECORD,,
