logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/build.py,sha256=LmBbR1i9NKm1wFm8WH760YNhS3Y7qdbaoumZJ6x3SBI,6114
logic/predicate/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
logic/predicate/hilbert/__init__.py,sha256=OGq0MSQUAELEO-ksMI0jf30jh_fpwXZI5_mv5JPiNNo,776
logic/predicate/hilbert/_structures.py,sha256=Cd_c07xzPu7oKmcL3WVM4TJbQ2gz5RhJfI3wVSfL7IA,1656
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=_evI6496tZt6IZ65jjWH-pCRMKpua2PkmqSUGG94amc,2452
logic/propositional/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/propositional/hilbert/__init__.py,sha256=xVcD2YIIb6QcPvYLLK6m_hd28Y2-PSM__VLX-m5CpyU,5076
logic/propositional/hilbert/_internal.py,sha256=llF4MZIlO65OMUuikoH_Q_wKZJvOuPNNzmSx1bcbJUE,1041
logic/propositional/hilbert/_structures.py,sha256=LeA0QJn5NrxSfMQbBCKchB9gi6Vs05aG0WFfdwCtyUA,684
logic/propositional/hilbert/_syntactic.py,sha256=bVMbsKVmZQXlyHyJ5rOnIcg-wXMyr_mlihYbGkKsPxY,342
logic/propositional/hilbert/axioms.py,sha256=7Daaet5BC34J1uhZmKcxi_sbw2TQDZaO25xYGNP5QWg,1261
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=1VxAsC870O5s1EZeQuHz_ca3bbGkEsXLP7Q3PnHHrGw,28645
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.3.dist-info/METADATA,sha256=xls96C5MNNEwFuZp_Q_2r30LUHblBs9MIiD5E0rjx2I,3045
metamath_logic-0.0.3.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
metamath_logic-0.0.3.dist-info/top_level.txt,sha256=GXlQ9F-8Dyx7nbMlP7UNehyOs5r9t0xLE2KLZ7nxQOU,6
metamath_logic-0.0.3.dist-info/RECORD,,
