punctilious/__init__.py,sha256=uHuGLcdteORbT6pA2LPIjs7sN6nFg8i3F2woSMXmEmc,3067
punctilious/core.py,sha256=9N0TuIPwMwJz-309wOTG10P9AKWbeAz2uhbaK3E2fO4,420520
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=_m9jwsS1j6fRYEZTNSScrIcaZlRAZ38jAqB26ebxDK4,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=EuPSyBgq7p3PlrEF9xasaNXxk7s0PbRNRJQu42xxTGQ,1929
sample/sample_proof_by_contradiction_2.py,sha256=VjTgtiRfP9LzXywLe-10YQStgy1RkVmPg5_7-1r2iMw,1727
sample/sample_proof_by_refutation_1.py,sha256=3fiOVCdB-5renk4BsDNZ4DqFEDJrj4dMPBmaeYV2UIU,1844
sample/sample_proof_by_refutation_2.py,sha256=7TZi1RECQZ5RIBZ87OH3QjR0b2GgauNFAv8bJ7LkyIY,1725
sample/sample_tao_2006_the_peano_axioms_noproof_enus_plaintext.py,sha256=OCs2h4k0Nq_qxJcaCsSlij_OpOdwAInTZP_lD7Ecsqg,288
sample/sample_tao_2006_the_peano_axioms_noproof_enus_unicode.py,sha256=YFE_W40Tij8VyWM2PXXPrdOlW6Gv-o7WmGbD5AOeqOc,284
sample/sample_tao_2006_the_peano_axioms_proof_enus_plaintext.py,sha256=Wr1v5u3JPnVCLOEwQ6KFcE3V19yeVG4dZFawn0uK4o0,285
sample/sample_tao_2006_the_peano_axioms_proof_enus_unicode.py,sha256=_J1oaFxgy0u5xemtI4cXuIW1eerBIBUDLsb41eYdakg,281
sample/sample_variable_substitution.py,sha256=SjS1bjjmCiMC6nf4FAXN_CupS3nR2xT7WiuCmPHyf3w,857
theory/__init__.py,sha256=8smLR6jD5EUmLzlE7qqOl3xdfdDjjpaudEdmUdyflos,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=zUMUKNuGCg8m5gtIyKBCFT3VJ9LBOEVZpzJceW5yrAc,25234
punctilious-1.0.9.dist-info/LICENSE,sha256=9miY9iyn_648lkUDk5UAeVitmYyzbZHh0FrgeswMMgM,1089
punctilious-1.0.9.dist-info/METADATA,sha256=TAB-ezG-e4SrUg8YFmqibKLT6UnwklYgyKm7WWX9j64,4391
punctilious-1.0.9.dist-info/WHEEL,sha256=yQN5g4mg4AybRjkgi-9yy4iQEFibGQmlz78Pik5Or-A,92
punctilious-1.0.9.dist-info/top_level.txt,sha256=PeSWMnpnnvDiTMwIXKHQrWZTeLihB1wkz7RYBe3R1DE,26
punctilious-1.0.9.dist-info/RECORD,,
