tinyprove/__init__.py,sha256=KR1qJ2nlzaYHQVxnvUuzMzAgV_Sv4N9HKRbntwV9Vzk,533
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.0.dist-info/METADATA,sha256=cxrT25wdkcUEm91p31UCnq79VbwiuI_-bfxcoT4f59c,1097
tinyprove-0.1.0.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
tinyprove-0.1.0.dist-info/top_level.txt,sha256=A7lFCZM_Mwdys_t2oaLuqYSXELBmC1eWBZWojLKOeuo,10
tinyprove-0.1.0.dist-info/RECORD,,
