deduckprover/__init__.py,sha256=rbw6XaU1ToAy_yFs0aGPYLNKIsK9ZGgNrBkN6ueFu1c,136
deduckprover/main.py,sha256=ktYeh-OfDzjQepn4emEoNj0mDwnLYJlanYXwCs8GeHM,1431
deduckprover/parser.py,sha256=vduGK9-w1AL7qTD3n3_DtBxpxfHegqomFp9DL5Kg4v8,7340
deduckprover/rules.py,sha256=rnzUT2st4Iol_VR6JVsgk5vkzuwtpo8yIYKec8ATAhc,34501
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.1.data/data/LICENSE,sha256=nRkBAzvmrgnGfpZbq3BGdH0FU852svBI8E1poWKZShc,1069
deduck_prover-0.2.1.data/data/README.md,sha256=OZTy38Hp7Z-6uzK9eIPgNUMvSj8NZbJjp41_Ony_x1o,693
deduck_prover-0.2.1.dist-info/METADATA,sha256=rGlWtIpSWmtC5C8rJB83d6Th8P7Lv0ZF29Nc8fX0owk,1466
deduck_prover-0.2.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
deduck_prover-0.2.1.dist-info/licenses/LICENSE,sha256=nRkBAzvmrgnGfpZbq3BGdH0FU852svBI8E1poWKZShc,1069
deduck_prover-0.2.1.dist-info/RECORD,,
