deduckprover/__init__.py,sha256=enb6jC0CnBFym4pEA1NVZ0tZPjF21114vu9GeZ_oi-Q,136
deduckprover/main.py,sha256=ktYeh-OfDzjQepn4emEoNj0mDwnLYJlanYXwCs8GeHM,1431
deduckprover/parser.py,sha256=qrLxNQxRDBbCxvu1sXi48732cZuNmln65X5YQTm88o4,7340
deduckprover/rules.py,sha256=jxPQLAAbX7o7VMextPh-68JcexHbo34EsrJvMt3oQ7M,31957
deduckprover/script.py,sha256=_tUwa7wqfOZg-wry5EARCyFDR39qzSBPDj1WC7UXzlc,3917
deduckprover/syntax.py,sha256=02Bx3EFoQTWUjCrz65CVvjmcq5eZKu9OC5wY8dUP2p4,19283
deduckprover/utils.py,sha256=YYlAgvI__VqRHH1vX7ml3Fkb6BnOrSBRfh1S3NSuNks,186
deduckprover/verifier.py,sha256=o1sr7iypxaV7d0jlFPaUE4zYGJcp51S_pG1W-KFAbSo,4031
deduckprover/vscode.py,sha256=FUQRTDtxpQzNg_YzOd10VeRd9AoiSQnwj1OKaIYZvnw,618
deduck_prover-0.2.0.data/data/LICENSE,sha256=nRkBAzvmrgnGfpZbq3BGdH0FU852svBI8E1poWKZShc,1069
deduck_prover-0.2.0.data/data/README.md,sha256=pYyxIDBn850UvGvwzEYg5BKzTn_xHV1sNX1CzpCLT0A,688
deduck_prover-0.2.0.dist-info/METADATA,sha256=ptfNO0BnS1jmyFsL-hrxSoEHqSviSsIyn8beEq5MP5k,1392
deduck_prover-0.2.0.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
deduck_prover-0.2.0.dist-info/licenses/LICENSE,sha256=nRkBAzvmrgnGfpZbq3BGdH0FU852svBI8E1poWKZShc,1069
deduck_prover-0.2.0.dist-info/RECORD,,
