logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/build.py,sha256=Tpb5MNlbA6pQTk9bLoOscMnZElFVwZFLFLT4OwWm4x4,38292
logic/dv_contracts.py,sha256=UQ-uUDltzg0GRoq0ZFy2MwEj5Rlg74TmRR4mWkr10jw,3668
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=_RDqOwJyfNG6PrM2h2IaLe_emdUYxjXi7BoWnQlszuE,5041
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/definitions.py,sha256=ILjjvaxOpf756AJvIZXOcJ9QU8wZYhwg_RXI9zPpkmg,807703
logic/predicate/hilbert/lemmas.py,sha256=Zbc2JJr60p55iFmmyDANAY29Lv-7NmYL4fx8dY0mTzI,441354
logic/predicate/hilbert/theorems.py,sha256=OmkdOu_DU9B0c42icZmvblh1Uqznv7iRiw8Ru4UkORY,16429
logic/propositional/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logic/propositional/hilbert/__init__.py,sha256=-bxC4mMlV72GGieWna9oEMzdMRLFz0D3xvh8u--7684,6143
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=mG7C5eB3UjEV8eH9BgY6APkYp9477l3791O2XtCb7wQ,7644
logic/propositional/hilbert/_syntactic.py,sha256=imV5FJgRpi6CcWsA9JuAWXlZnM0TZjkV3x24amlE7Qs,3897
logic/propositional/hilbert/adder.py,sha256=-HHl5X6SfdaamReTr0RL4IZVXKXlcZEV00XUa0cGff0,21215
logic/propositional/hilbert/axioms.py,sha256=1FYW0NnSBa3TIBfsHdpAtLo3i7f2YG7igoCoNrb6Gk0,4291
logic/propositional/hilbert/conjunction.py,sha256=J0kznP89UbEzedivh4wg5Qu9WA0nzI4W3gh1ezWY3fg,603604
logic/propositional/hilbert/constants.py,sha256=nrwMy5N3TN0rwxihoqawz3RK3oEFk7p8lHT7fodKYnk,63371
logic/propositional/hilbert/definitions.py,sha256=Poxu5BBTqtwknn2CE2dTSNc5lhSG2G4ViRqTAv05TE4,2244
logic/propositional/hilbert/disjunction.py,sha256=n37rQSG2LavmqlLEFntjq9rYCI0n7lJocuzHAH8yQ8o,253958
logic/propositional/hilbert/equivalence.py,sha256=KUirdcsQz9F3ZKg5Lg_9G7AbMk5AeB3OjSOFB80GaQA,228735
logic/propositional/hilbert/implication.py,sha256=6CNqZUPyNEg8GGJldg3CiWd__GIv2lLiCJTvi3lupg4,443157
logic/propositional/hilbert/lemmas.py,sha256=Q511UOj6n3GQXulP1V_0Jhn4xLRbUMq-r55SYq76mpc,99573
logic/propositional/hilbert/negation.py,sha256=2R9iTA3SFWl1yCFUDLUwFv6wRgf1xk52JBQHHkQubMo,121874
logic/propositional/hilbert/stoic.py,sha256=CIiAFlX39aRYp7Qxa4D8kK_gxm2MWSqiWBzmyMelhn8,6840
logic/propositional/hilbert/syllogism.py,sha256=Ao5enTymnwG5206ERK9_5KOtyTVCPuktgfeI4E7P1AE,6792
logic/propositional/hilbert/theorems.py,sha256=2INDdCPOC6XplDETLYGlsOzUzS53gyTuaNJnWU6hAx4,65830
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=4B2OiRsaMJiFD2kp3r2r9nghLFYvhEIzuIhtJkGcpNA,2018
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.7.dist-info/METADATA,sha256=mpTs-k6Nq_3XUEqyF7tH0Tl3T1k1RFtpUhE-PRtcNJ4,3089
metamath_logic-0.0.7.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
metamath_logic-0.0.7.dist-info/top_level.txt,sha256=GXlQ9F-8Dyx7nbMlP7UNehyOs5r9t0xLE2KLZ7nxQOU,6
metamath_logic-0.0.7.dist-info/RECORD,,
