punctilious/__init__.py,sha256=qbxt1rF7iu6NPmiG9rJhYUZ1ANsO1xDZpTTJZ-Qv15o,1433
punctilious/core.py,sha256=qmGB3rpA5_-77OZBMPEtuTN3SDj_fc4L4CHd6mMum5Y,419664
punctilious/graph.py,sha256=YSalDOkE9FtZzjGwMa-I2-VjPVom4R25ddwtK_gEJoI,2708
punctilious/locale_en_us.py,sha256=hFFQZaVc1hEA0fEIeUSDaed0AszAKw6u1i4z9rdStZ0,33001
punctilious/plaintext.py,sha256=VBk_K-a6vLdlvJYNn7fEhZ3TKAzfNhC9-QDD5rP-mb4,1227
punctilious/random_data.py,sha256=udGXKdhmcQNsmwmel_Y2V3x9IFYVgus1g_N4g_OTx2A,1390
punctilious/repm.py,sha256=ugC6n8P2tkpxyZXeqPraxppXKKVOGu7Q1d6jex6ZxAY,2404
punctilious/reserved_words.py,sha256=ubM1nrX_o-N-OMGcraFYB4D0K7OlUApHMPNwkvKXQnM,275
punctilious/unicode_utilities.py,sha256=Nj4DrXfk0Pv20i0gKZWUfChLcA5n76SYFmJTZGnGZLI,10042
sample/__init__.py,sha256=l0wsqC1MW6sWWSyWcU4Ue5XCc-UNVDBA4CNpaXjlCWc,117
sample/sample_absorption.py,sha256=rrnu2HqggJehzQsWOrruINMKf3Ssp_xNINp_gJrQm6M,845
sample/sample_biconditional_elimination_1.py,sha256=5jYdLxtJVBTzrRlPvhX1tMdtEmWTMAG7LGcIy-RXF1A,878
sample/sample_biconditional_elimination_2.py,sha256=YMu8G5ougaSbaj0nosK6LYBbVkG7y_j1voyt43Hmtzk,878
sample/sample_biconditional_introduction.py,sha256=PeIigKdJNroV4cmz5FFPtYYRRVPtrtFJ15HlwH02IQo,975
sample/sample_conjunction_elimination_1.py,sha256=9-0NYibFnUQTZfivOD1pJj29xvJmYKT57gGCZ26xf40,852
sample/sample_conjunction_elimination_2.py,sha256=FUumVuZdShqkAt023-lEoK9r0nIj9jxhm6K8hXKWp70,852
sample/sample_conjunction_introduction.py,sha256=42vAcm8v5CAEQHDSmVhXUkFPSv3CFGYukpdh2B3RemA,927
sample/sample_disjunction_introduction_1.py,sha256=DAnc02cjY2wJRICbBwYAsDgc9RpyDiGDt2Czhw6qcgg,847
sample/sample_disjunction_introduction_2.py,sha256=e7kkayETCNVgy5TsfDBnDut0BkkjgWqsokiXLIo5j5c,847
sample/sample_double_negation_elimination.py,sha256=xAe_S7Eyl3t9f-z3JMBM0Rf-j3N-pWICsDGuhZry4r0,810
sample/sample_double_negation_introduction.py,sha256=xxOzDvgb3MA4FTo45bh3zaT4OI3o55gdmCjQVua5kWc,763
sample/sample_equal_terms_substitution.py,sha256=nBt_2-yKxPVxFFFLPlIKKazDui7K_dpEYfVZB63Areo,1110
sample/sample_equality_commutativity.py,sha256=c0_-X9smg8eWpGMguv3glYzvtB5wzQJUvKsoryhxKKM,857
sample/sample_hypothesis.py,sha256=Vz_SmE1ABs3-E99nr-pw4YVY8AxvR83hrh7OFPOgJAA,1994
sample/sample_inconsistency_introduction_1.py,sha256=jBCzW4Vkfgqgy7SfGn6DrbuP18eozX8mXtQryYeoliI,1014
sample/sample_inconsistency_introduction_2.py,sha256=hpPxRFMlYvT3sugvF2jxJuVzPbRlclZ_wfNIfo51Seg,1005
sample/sample_inconsistency_introduction_3.py,sha256=Tj6wR7kwxLr_8YffXSVltQ9-0pBRYcj0E-gky0QUyfE,884
sample/sample_modus_ponens.py,sha256=4jouro6TcOeD4au3pEENgfG4Ieg-4Vf1b9OAaaMCrLQ,953
sample/sample_pet_theory_1.py,sha256=nFnFLXBUKtWrJku1LVlwQ6buW_PbUMm48R7aPpZMGv0,1310
sample/sample_proof_by_contradiction_1.py,sha256=UwaatAzUJxbpDUyYftvZmGclKx9_lXifDEvRe-hBkBA,1856
sample/sample_proof_by_contradiction_2.py,sha256=zQhpnT8Xgsby0A4SN6sK0NyidUuCmXrgDAbnzqmCzc4,1730
sample/sample_tao_2006_the_peano_axioms_noproof_enus_plaintext.py,sha256=H04M7fAX_gNyZK7WG07F_fbHMd02QeAcFHthElRu1Z8,266
sample/sample_tao_2006_the_peano_axioms_noproof_enus_unicode.py,sha256=Itm_tNQctt2PxMoc5KcNRsFVW23ZYK56xDTVgSM3fYU,262
sample/sample_tao_2006_the_peano_axioms_proof_enus_plaintext.py,sha256=0bVNwrTeLUjVeFiK4HFkuPcCYKSLyIlDAF3-ND1vaIE,263
sample/sample_tao_2006_the_peano_axioms_proof_enus_unicode.py,sha256=2u5_7G1_9vgAbyTGeqQ9D2fagaPcED6qeksJeHxHxvE,259
theory/__init__.py,sha256=oMcYxXCvGoWoZ1nSyJMBPsjY6ZBGXnNjkBnoj-dmR1s,188
theory/classical_propositional_logic.py,sha256=q-JuGggAGut4XApycn8OE-3O3B_NzV5SoFZ3-XdhQS0,1021
theory/punctilious_2023_metatheory.py,sha256=I6uIg5sMZyZD-9aAIZHRzxx8McVAUbbBRVosa2N_1wQ,11032
theory/theory_tao_2006_the_peano_axioms.py,sha256=meTQ4qSqsvr2H97e73kaQ-RrLnx2hQZKpVybH8MPhS0,24627
punctilious-1.0.8.dist-info/LICENSE,sha256=9miY9iyn_648lkUDk5UAeVitmYyzbZHh0FrgeswMMgM,1089
punctilious-1.0.8.dist-info/METADATA,sha256=KcWooku6bCvUc1TFhygDc8jyjwx5KDpI5pTxuEEzxsI,4391
punctilious-1.0.8.dist-info/WHEEL,sha256=yQN5g4mg4AybRjkgi-9yy4iQEFibGQmlz78Pik5Or-A,92
punctilious-1.0.8.dist-info/top_level.txt,sha256=PeSWMnpnnvDiTMwIXKHQrWZTeLihB1wkz7RYBe3R1DE,26
punctilious-1.0.8.dist-info/RECORD,,
