tinyprove/__init__.py,sha256=_IyInFZLAfpBpBA2lZRZCvm92QWpTqcImJdoS4AO6fQ,552
tinyprove/axiom_defs.py,sha256=HGkYzcoBpUgRF5i0PJ381AZmDOU_MQoNKDTRCY3S-6k,1586
tinyprove/core.py,sha256=CXzobv8mnAVHZW8TiwdXrTVQVEGhIM4Fm7FL9_oNsqE,10770
tinyprove/inductive.py,sha256=IgFPnDLreq2lOMUFdeA-cUlGqWopdlNIkqD75Azbmrk,14228
tinyprove/ir.py,sha256=Ut33RVlt3m096HBbIPeOPXXEev54N-73-mdIMrJWKYs,1910
tinyprove/parser.py,sha256=oAmYLcgmYTkw-gf62ipEx9mK0xTZs-AorqwRu5U0RQw,4108
tinyprove-0.1.1.dist-info/METADATA,sha256=z4i7TNZPVOCxsYfMDoU7lqVc_4XkgYmVLzW3qUwgYrQ,24534
tinyprove-0.1.1.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
tinyprove-0.1.1.dist-info/top_level.txt,sha256=A7lFCZM_Mwdys_t2oaLuqYSXELBmC1eWBZWojLKOeuo,10
tinyprove-0.1.1.dist-info/RECORD,,
