tinyprove/__init__.py,sha256=_IyInFZLAfpBpBA2lZRZCvm92QWpTqcImJdoS4AO6fQ,552
tinyprove/axiom_defs.py,sha256=l55DAVr_x4V8M5XAZfj_MWYUg-PBrD2vCpetI3aQd7o,1316
tinyprove/core.py,sha256=CXzobv8mnAVHZW8TiwdXrTVQVEGhIM4Fm7FL9_oNsqE,10770
tinyprove/inductive.py,sha256=ngKkFoMHYCVuWwr4_Se-xLa5lwnQtAXlg9PwKuQPHt0,14728
tinyprove/ir.py,sha256=Ut33RVlt3m096HBbIPeOPXXEev54N-73-mdIMrJWKYs,1910
tinyprove/parser.py,sha256=TE4X5vw-u3nIBxWCii23vqO8lpCQK-u5ZTB79xlycE4,7897
tinyprove-0.1.2.dist-info/METADATA,sha256=EwtNQcP3mTol42kBZlONvkDdcFLpLFpIjCagbw9MIAA,25385
tinyprove-0.1.2.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
tinyprove-0.1.2.dist-info/top_level.txt,sha256=A7lFCZM_Mwdys_t2oaLuqYSXELBmC1eWBZWojLKOeuo,10
tinyprove-0.1.2.dist-info/RECORD,,
