logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/build.py,sha256=MNRNwRZR2wXVzkjTnwOgwrnbFxNpSjE_3AZDh6nPy7Q,6998
logic/predicate/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
logic/predicate/hilbert/__init__.py,sha256=OGq0MSQUAELEO-ksMI0jf30jh_fpwXZI5_mv5JPiNNo,776
logic/predicate/hilbert/_builtins.py,sha256=t4bfHblLxVVyDENUVScE5O8_Hfs0N7bKBevaXQC80Yg,2405
logic/predicate/hilbert/_structures.py,sha256=EdNVx3QJK3bd7cPAzjUqu8DlaPyiTvlySq1EhtflLOo,1676
logic/predicate/hilbert/axioms.py,sha256=NnUeDlSJRSl04REpKOGQe_H5PjhP58CqV8hfeQI4bFI,1270
logic/predicate/hilbert/definitions.py,sha256=zl-g_xxKJnyLvj5QFf_fZfJZ2_DObR1-Zm3u_1hS4fc,207
logic/predicate/hilbert/system.py,sha256=Wrs7kCojWpWT7luGcQAXhP7YNHPB-wdkbeamc0QtJJI,2474
logic/propositional/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/propositional/hilbert/__init__.py,sha256=DadaSDDQaR2cxGu5JZpCWgyemSJkhD4wNblkPZqG27Q,5129
logic/propositional/hilbert/_builtins.py,sha256=0uf4sgbSUIOz7SqSB8y0yw3AKPiEkMd35pPjpFsx4pI,7856
logic/propositional/hilbert/_internal.py,sha256=llF4MZIlO65OMUuikoH_Q_wKZJvOuPNNzmSx1bcbJUE,1041
logic/propositional/hilbert/_structures.py,sha256=T8qSsqOQiqvF7qhAtilx8Aw4qLYgcI932iwADD97U28,2139
logic/propositional/hilbert/_syntactic.py,sha256=imV5FJgRpi6CcWsA9JuAWXlZnM0TZjkV3x24amlE7Qs,3897
logic/propositional/hilbert/axioms.py,sha256=auPMhKGzGJgj6Qr08_e3xUzjqYYibePn5w2SW1GsooQ,1256
logic/propositional/hilbert/definitions.py,sha256=TJlUPhMMpaT6XJVonhfETIGe1FTJ-xDYvWcDnr0aPyo,2239
logic/propositional/hilbert/disjunction.py,sha256=elVTtV3-Uo9Q6GnZYjwDWZoiUrfT5_s4W2Leu36RsG4,19206
logic/propositional/hilbert/implication.py,sha256=7OFTLpNFSJrteYGTmJgb5Rj3sfSJa_1LCegNYYwJvLY,28475
logic/propositional/hilbert/lemmas.py,sha256=o2VJQYU1YJDNV8PwWSYhJ8oV87MVDygMLIJYsktDsMI,27984
logic/propositional/hilbert/negation.py,sha256=OzuEhnU-Q7l4rM2R7L5IbiV2Rj8ZAUkz-KmFMMnIJP8,28438
logic/propositional/hilbert/syllogism.py,sha256=FmQsDEn3f0sAXnqn8yM2Uga6yqSeAbACdxL66O_0LAg,12530
logic/propositional/hilbert/theorems.py,sha256=YI62aDOqjet5udX_kW3ujIPestncV7RpX5Eu-4GKK7E,5472
metamath_logic-0.0.5.dist-info/METADATA,sha256=1rDA_qi8JGl91zJ7_bMgO370GGEe5sXMVTw-yYteAW0,3162
metamath_logic-0.0.5.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
metamath_logic-0.0.5.dist-info/top_level.txt,sha256=GXlQ9F-8Dyx7nbMlP7UNehyOs5r9t0xLE2KLZ7nxQOU,6
metamath_logic-0.0.5.dist-info/RECORD,,
