tinyprove/__init__.py,sha256=KRj8tZrCOXjQllECjpuFKGIDqsaVaXzdEqKEIjI1QGM,763
tinyprove/core.py,sha256=synHP9oP4mt7sUkhBo9JOudXrEHul0XWcE3IuO0DaPQ,22976
tinyprove/defs.py,sha256=lNVNbKGr-nuT70Ei1tl6Ljjh_94V2GF7nAXHSE9NuQI,3169
tinyprove/inductive.py,sha256=o6TG13yc9soqSv6t68t5rce2Zg25BmWzvei4RL7l2Q4,16466
tinyprove/ir.py,sha256=wqhWGZjKOdxF06n8wSgEC821QcNSGhU4P2Zu1f_1ePA,3119
tinyprove/nat_fns.py,sha256=eiAIige5IHUkf4i8ZyJs7SwQJmy92ju9MdbFsMBvCrw,2121
tinyprove/parser.py,sha256=1Yket65_Od1TqpGkUOU_q6dClfHSTaKiV3lCl_WUKs4,9627
tinyprove-1.0.0.dist-info/METADATA,sha256=t-wqY6BQHRLkgH3PyHD5oK6YV2NOEeNiaDPJsRH05fw,33706
tinyprove-1.0.0.dist-info/WHEEL,sha256=mOdXR9C3wMVov7cSY8PY-XCzo3SmmWCHvGQr5csJoao,91
tinyprove-1.0.0.dist-info/top_level.txt,sha256=A7lFCZM_Mwdys_t2oaLuqYSXELBmC1eWBZWojLKOeuo,10
tinyprove-1.0.0.dist-info/RECORD,,
