deduckprover/__init__.py,sha256=0Da-u8lJh1EztdOEiCQsNq7_8WMhKbXJFvIcMVDiemk,191
deduckprover/main.py,sha256=hiqGC43Fo_rv2Z5wsuIbQpc_aJV7xEylqfmi7PIg0fw,1125
deduckprover/parser.py,sha256=FRP-FPTdCSw518t1-T1l4QHewAt73UnO2EYTZk4rU2k,7770
deduckprover/rules.py,sha256=eMFiBr9y7UtaYO2hcLXJcdQ0ARQdyqJadB-70J-CD44,40368
deduckprover/script.py,sha256=_tUwa7wqfOZg-wry5EARCyFDR39qzSBPDj1WC7UXzlc,3917
deduckprover/syntax.py,sha256=tLgTyMKbxHPPk08vVF7dSmbTTyVZJo4bSUhrCpBYq3s,19559
deduckprover/utils.py,sha256=YYlAgvI__VqRHH1vX7ml3Fkb6BnOrSBRfh1S3NSuNks,186
deduckprover/verifier.py,sha256=0YtJ_enNjRcXtX_HwQ-DPF64gjE8NfMCfKM1yn8Tv3s,4025
deduckprover/vscode.py,sha256=FUQRTDtxpQzNg_YzOd10VeRd9AoiSQnwj1OKaIYZvnw,618
deduck_prover-0.2.3.data/data/LICENSE,sha256=nRkBAzvmrgnGfpZbq3BGdH0FU852svBI8E1poWKZShc,1069
deduck_prover-0.2.3.data/data/README.md,sha256=OZTy38Hp7Z-6uzK9eIPgNUMvSj8NZbJjp41_Ony_x1o,693
deduck_prover-0.2.3.dist-info/METADATA,sha256=A6FQpUa9DEkn4YYQO5B20ZWuCLiFtJ30rA_Bs7ArQNE,1466
deduck_prover-0.2.3.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
deduck_prover-0.2.3.dist-info/entry_points.txt,sha256=c6ID-QPIeuKl7NfaJARjRm4hdVHkqLlIEToYiIoZRgE,50
deduck_prover-0.2.3.dist-info/licenses/LICENSE,sha256=nRkBAzvmrgnGfpZbq3BGdH0FU852svBI8E1poWKZShc,1069
deduck_prover-0.2.3.dist-info/RECORD,,
