logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/build.py,sha256=VM6NjTMXydRzq3oi0c5czulpqsmf2O11aDkjS2EwZq4,37416
logic/predicate/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
logic/predicate/hilbert/__init__.py,sha256=f2l7eSozoqPlrQDHXkW4zFCe9-xqbU5DUdLhJkX_5TA,2731
logic/predicate/hilbert/_builtins.py,sha256=NYdReIAbe0VLn5OwaGSc15afSilwFR-DMNZekTvdiAk,4998
logic/predicate/hilbert/_internal.py,sha256=z1qmp8kt85AEZl8VK5ZhIfTkwuruuVTMeT1-DtYivng,1547
logic/predicate/hilbert/_structures.py,sha256=tWD5elsPlBRgX063r2YPkJI4Tm4OomOPkZ9W8Q8kdKE,3285
logic/predicate/hilbert/axioms.py,sha256=7GdY1sB8kxrJYiZCMxQ2sdOH-lJr2SRibFag-NciGyQ,1579
logic/predicate/hilbert/lemmas.py,sha256=bGqHsBqHoHxCircrhmR4TLTT6sR8wKdr6yhzaA4gOyw,384900
logic/predicate/hilbert/theorems.py,sha256=3qqq6Oo7SBcKXdCRdccwbfWDG8ID8Yb1mxKcup1bzxA,15745
logic/propositional/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/propositional/hilbert/__init__.py,sha256=8jT86WoVRf4pbpRZ3Id1TmJ7NMKpGWYSs609jGIpugM,6058
logic/propositional/hilbert/_builtins.py,sha256=y3ecD6CP7IPhqfguomdTtOuFkeo_XYGw5rGs-W8d3tk,10722
logic/propositional/hilbert/_internal.py,sha256=llF4MZIlO65OMUuikoH_Q_wKZJvOuPNNzmSx1bcbJUE,1041
logic/propositional/hilbert/_structures.py,sha256=8GYMFCy7vtLbwiXwldGiOVjHPeyndQHIlMXivC2YD0k,7619
logic/propositional/hilbert/_syntactic.py,sha256=imV5FJgRpi6CcWsA9JuAWXlZnM0TZjkV3x24amlE7Qs,3897
logic/propositional/hilbert/adder.py,sha256=88-tp-u4z65J5nPGq7nzUcQHcHjlduDxYWPnzWfvMT0,10350
logic/propositional/hilbert/axioms.py,sha256=4fMENANr60wavp8Cpv1hhN8oR6Lt9xq6wOXkn9Ag9MI,4088
logic/propositional/hilbert/conjunction.py,sha256=valMzyS9uDAkqfoHmhcaJKaimgA83PScHhFtoeRg80A,350554
logic/propositional/hilbert/constants.py,sha256=D_4EN6UH1O5Q42gb0WtmnoL7pzEPr_oUaxypwe7Z6SA,61400
logic/propositional/hilbert/definitions.py,sha256=Poxu5BBTqtwknn2CE2dTSNc5lhSG2G4ViRqTAv05TE4,2244
logic/propositional/hilbert/disjunction.py,sha256=CtIxuIJ_H5HDw5bxT7iEdSQkl3AkxSS_P7w0wPIyGGM,223025
logic/propositional/hilbert/equivalence.py,sha256=T3rBHroOe0iLo4gfPgC5w7MrrIT0InU7wKjpcWKcKMo,179476
logic/propositional/hilbert/implication.py,sha256=NJ16qrPKMF0hc7xqSlZvzLRFSoQrO59WSQCrdLVbWWE,399871
logic/propositional/hilbert/lemmas.py,sha256=BdmcYZBkZZa5KD-hF0bAOb1pn0UyLQlxwoEmAR8zCPg,93485
logic/propositional/hilbert/negation.py,sha256=zBwfBp5cq1agn0I9yFVfnf3cgXatzbZ9spQ08EjjdOc,112862
logic/propositional/hilbert/stoic.py,sha256=c3bvhws1InB-kh6cRZXhaTyDeroqE23KEvImBeL-4PY,3708
logic/propositional/hilbert/syllogism.py,sha256=Ao5enTymnwG5206ERK9_5KOtyTVCPuktgfeI4E7P1AE,6792
logic/propositional/hilbert/theorems.py,sha256=h21BzOxYm3De3nu2NXfTWTDp4VKzsTtTkqj8TJlkd4Y,64370
logic/propositional/hilbert/truth_tables.py,sha256=SAEz_Bv_ws_CuTg3Bw6Ypci0JwzmkL-wP2NrwKJstg4,999
logic/propositional/hilbert/axiomatizations/__init__.py,sha256=NFREE9KiRbDQU6jI-EGPSVCgeOKzl0qGhkxaRwiyYow,1415
logic/propositional/hilbert/axiomatizations/lukasiewicz.py,sha256=VqrhS1FD8BVaDsjezpNg_-QL1_qiNJmj9tAT9gBX0lE,649
logic/propositional/hilbert/axiomatizations/meredith.py,sha256=nXNHa3v6onK_WNM5g6BkCLSkziCUtF_qi33C2BUPJDM,685
logic/propositional/hilbert/axiomatizations/minimal_implicational.py,sha256=vXhKjFll2_-p4RdH5Zsyiy5tLL0tFTdhfXWeMYRGTVI,540
logic/propositional/hilbert/axiomatizations/nicod.py,sha256=_qc3n6vuXgwcMOLtygZ4TVKgpeAVEWR1o7yWm8qO_kc,715
logic/propositional/hilbert/axiomatizations/russell_bernays.py,sha256=tduhzCxHG7OrWPIgkHKbsK0HvYnOurWD9ZdqTgtRP7g,608
logic/propositional/hilbert/axiomatizations/tarski_bernays_wajsberg.py,sha256=F0yzyKzvL_pou8FKgg5oDvSe0UR2FUeOXjL4BsWZEXc,567
metamath_logic-0.0.6.dist-info/METADATA,sha256=8ieCbL9ec_8oTE1ZOxH5-KMQjC0nnG0OqUxrOtYeWBE,3088
metamath_logic-0.0.6.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
metamath_logic-0.0.6.dist-info/top_level.txt,sha256=GXlQ9F-8Dyx7nbMlP7UNehyOs5r9t0xLE2KLZ7nxQOU,6
metamath_logic-0.0.6.dist-info/RECORD,,
