logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/build.py,sha256=j4OiFcyYNVgUnB9IG3cCTOT72jidEsTAydGbaAVn5LU,3553
logic/predicate/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
logic/predicate/hilbert/__init__.py,sha256=Un3oQZSHQaq_F6EfcujSS3p2ooDcaeduRjN-2nZuFU4,774
logic/predicate/hilbert/_structures.py,sha256=-ZDwAsSC-S4xTydwpox6Qv9m6d3jjYWIwbejcgxyifY,1581
logic/predicate/hilbert/axioms.py,sha256=snknlWCRas-POsGgQB8I1e_33-H94rNtjaSpW-QXEMs,1268
logic/predicate/hilbert/definitions.py,sha256=zl-g_xxKJnyLvj5QFf_fZfJZ2_DObR1-Zm3u_1hS4fc,207
logic/predicate/hilbert/system.py,sha256=Z1FNO05YDa4-somQcqbaKKtlBR7ehCJX7NdLGrWE7oc,2451
logic/propositional/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/propositional/hilbert/__init__.py,sha256=ZWAsJkED9iTCOrlLWMiZCDO4KgqIi_Dr3ff5MFj0F5k,5073
logic/propositional/hilbert/_internal.py,sha256=llF4MZIlO65OMUuikoH_Q_wKZJvOuPNNzmSx1bcbJUE,1041
logic/propositional/hilbert/_structures.py,sha256=RVJjxHPV9eqzWLR_FRy3iXIW75-jUsoXsgku1HKPfVc,696
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/lemmas.py,sha256=kBGkqD7SMFsMoBIiJJPPKGnhm4L1tWgraQJ5oPdYrK4,41865
logic/propositional/hilbert/theorems.py,sha256=8B0E2vBMHExO_cH_3lqQ_n-1KsLKxRX24NDcT-HpgR0,2931
metamath_logic-0.0.2.dist-info/METADATA,sha256=rp9iHcRYDVdtS9rCNKiyhWA7G8k0sBBRUqfWUNVXAL8,2587
metamath_logic-0.0.2.dist-info/WHEEL,sha256=YCfwYGOYMi5Jhw2fU4yNgwErybb2IX5PEwBKV4ZbdBo,91
metamath_logic-0.0.2.dist-info/top_level.txt,sha256=GXlQ9F-8Dyx7nbMlP7UNehyOs5r9t0xLE2KLZ7nxQOU,6
metamath_logic-0.0.2.dist-info/RECORD,,
