poussins/__init__.py,sha256=8CGBqKovn9icynQbqh1-5anAMh8AtgQ4fyJvveACa7Y,1640
poussins/__main__.py,sha256=jqDCOQaZt39hBeBuw-DITI94y9Z2iRKdTaTqzfH-skM,143
poussins/ast/__init__.py,sha256=mZGlq8cO3vRrSks-gN8gL5TtxJfs9gZ01l-6GSs0EyE,820
poussins/ast/formulas.py,sha256=DQFdwrNaXH5TN77JRJOukTelb4GESDclJLiFUpgZF8k,2210
poussins/ast/ops.py,sha256=RupynuaDunjd3Kh1u4kWUS0OUFFLuSIBjFU9rLJf9LE,4740
poussins/ast/proof_terms.py,sha256=VLces3rfws0cDgy6mFDfcHrjj3JWVM7BAAMisrjevt0,5941
poussins/cli/__init__.py,sha256=G9skXXirchZ_bMSIwLuGAxxjnMUB_vxRRGrHnJ-Xj9A,241
poussins/cli/lean.py,sha256=YQYsZA2sPSUGb87Irji_sIMcA5IWpH4Zo03mRBy7zMg,435
poussins/cli/logger.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
poussins/cli/main.py,sha256=egRcfZLXZDeVeejziFMN1dV87DeFTfVKKyNFr7j46Ck,1592
poussins/cli/prove.py,sha256=ZgFJ70OIq7CQTig8KptWjEjSrn3vLqK9fHkWpIGe_9w,788
poussins/cli/step.py,sha256=ELq6FGEGzfdhTaIQwtD9uEMj9l2SN1FR_j_0xf5lGDQ,302
poussins/errors/__init__.py,sha256=cd-kf8Gb8_wt-rj9weQFYYsbU9ihXzZh9seVT4AZRLM,377
poussins/errors/framework_error.py,sha256=TLfCE2vK7D891-yVt459ochKC4PAyTmM_lbWEpKTpmA,179
poussins/errors/kernel_error.py,sha256=lpKKRIQvw_639yND1U1n7SaZxoIHLRE_JpVS0sCcrZA,422
poussins/errors/proof_error.py,sha256=H8PTc2fudFU4zvQcPQKHgja8hzC2wAVL4ZzOnCTvO8w,142
poussins/errors/tactic_error.py,sha256=v4TJM0UoB_b7NEV8XNX2F90OHvZ9qACgFbdNl8qNwPw,157
poussins/framework/__init__.py,sha256=YRvdOrF_MQHri6byrGelBxFU1Oy8ww4sw3oYQTslmBM,554
poussins/framework/axiom.py,sha256=71MdHzR1ejVWTX3BaOKT4m9SjgtaeZfGTem5CeuCk-o,774
poussins/framework/environment.py,sha256=D2m3QtIsNHsEO7jd9ClgImo1Co9nYH9A2GjnkS3Vrps,1332
poussins/framework/proof_driver.py,sha256=WCn3nYCNOA-L8JtOqE7yu0iBTtXGQTS5MA0mtKZnnYk,2663
poussins/framework/prop.py,sha256=qDD0OWWHk-_2zyf189Kv6eXYSzQAZWS2ECphqivscu0,3454
poussins/framework/theorem.py,sha256=YIr40H1u6EHdwedu6pYCmqPc1bFVBK35c3a-Pfo-pEA,3254
poussins/kernel/__init__.py,sha256=S57dzDEoODVE9VTKcgpInkm24n0VyZ3_xFNsM0TzZYE,423
poussins/kernel/goal.py,sha256=gvWRUugJiQ2h8vijibE43vHWiG41lcNMhg6CDwmiBhc,1420
poussins/kernel/proof_engine.py,sha256=hpmb9J3_u7Q-7wz1A0WEK_teuks_HZXbHw4jO3RPKHg,4161
poussins/kernel/proof_state.py,sha256=ZKsB_3-2wn850TrBXT5amo3gLJ6WdukEHdXUcwk66T4,542
poussins/kernel/typecheck.py,sha256=b8lzhMdrE1JBfgr8ECb9JVGsQQdA5xrSK7EGLY1BVJQ,6587
poussins/tactics/__init__.py,sha256=F28SiU6LM2QmFlVeRHzTuT85Y6N33Azv2lGkdCSZTGg,368
poussins/tactics/apply.py,sha256=Rq0pBIQtltGNwxmsJZNANdYMA5s37kXxvjoOD6E__v4,2034
poussins/tactics/constructor.py,sha256=bb5O1YYVKrI7vDer66YbX87ZnlkuqpFF2dSDvtfiFWA,2542
poussins/tactics/exact.py,sha256=h9MQJLNob5HNmyw1wLJTUY3Guj_Bw3_yoO-mo3sXfQg,1894
poussins/tactics/intro.py,sha256=bOpttZynnLYqdXkaghyYlEMAwXzIf3nFhDtRQPcIUao,1156
poussins/tactics/logic.py,sha256=H6YAygMsVSzNy601To28t-bbG2b6N78vbriRTHHy0bs,1655
poussins-0.0.2.dist-info/WHEEL,sha256=oBsDExVIEya4llboy9Ce1l6on8xt3GrtT29y6pYVypw,81
poussins-0.0.2.dist-info/METADATA,sha256=_zWGGVRuyPqRwu9ycu7IfupItRDA2TOhZuX6IKIvTrU,317
poussins-0.0.2.dist-info/RECORD,,
