deductive_system/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
deductive_system/_version.py,sha256=vgltXBYF55vNcC2regxjGN0_cbebmm8VgcDdQaDapWQ,511
deductive_system/engine.py,sha256=DV9LN0_c32Cw9y_NE1Lb5U8Bj79uw3SnPjME057gJ2k,10908
deductive_system/version.py,sha256=cWGK7vM6uPBY3wp2_IIjNk2YJIyundVZ4DH50m70XiU,322
deductive_system/data/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
deductive_system/data/peano.py,sha256=8rh74Zo8Jgvs2bwLtB1eKhNt0Dt5ZVMi1282Da7fD6Q,1574
deductive_system/data/prop.py,sha256=J0wLL_JTrlznm9l0cCb16ndYLd9vbcdbSwPOnNRLmY0,443
deductive_system-0.0.1.dist-info/METADATA,sha256=cGT-ZvMFtKjPoWnRR-8AyVFaZ7dvTY528uJ0FAKn6Tg,164
deductive_system-0.0.1.dist-info/WHEEL,sha256=DK49LOLCYiurdXXOXwGJm6U4DkHkg4lcxjhqwRa0CP4,91
deductive_system-0.0.1.dist-info/top_level.txt,sha256=iqzTb2WlKLT0W-9H_GakLy4N8UNTPiP09nHWmHgGu9w,17
deductive_system-0.0.1.dist-info/RECORD,,
