LICENSE
README.md
pyproject.toml
src/punctilious/__init__.py
src/punctilious/caller_info.py
src/punctilious/core.py
src/punctilious/graph.py
src/punctilious/locale_en_us.py
src/punctilious/plaintext.py
src/punctilious/random_data.py
src/punctilious/repm.py
src/punctilious/reserved_words.py
src/punctilious/unicode_utilities.py
src/punctilious.egg-info/PKG-INFO
src/punctilious.egg-info/SOURCES.txt
src/punctilious.egg-info/dependency_links.txt
src/punctilious.egg-info/top_level.txt
src/sample/__init__.py
src/sample/sample_absorption.py
src/sample/sample_axiom_interpretation.py
src/sample/sample_biconditional_elimination_1.py
src/sample/sample_biconditional_elimination_2.py
src/sample/sample_biconditional_introduction.py
src/sample/sample_conjunction_elimination_1.py
src/sample/sample_conjunction_elimination_2.py
src/sample/sample_conjunction_introduction.py
src/sample/sample_constant.py
src/sample/sample_constructive_dilemma.py
src/sample/sample_definition_interpretation.py
src/sample/sample_destructive_dilemma.py
src/sample/sample_disjunction_introduction_1.py
src/sample/sample_disjunction_introduction_2.py
src/sample/sample_disjunctive_resolution.py
src/sample/sample_disjunctive_syllogism_1.py
src/sample/sample_disjunctive_syllogism_2.py
src/sample/sample_double_negation_elimination.py
src/sample/sample_double_negation_introduction.py
src/sample/sample_equal_terms_substitution.py
src/sample/sample_equality_commutativity.py
src/sample/sample_export_all_articles.py
src/sample/sample_hypothesis.py
src/sample/sample_hypothetical_syllogism.py
src/sample/sample_inconsistency_introduction_1.py
src/sample/sample_inconsistency_introduction_2.py
src/sample/sample_inconsistency_introduction_3.py
src/sample/sample_iterate_formula_data_model_components.py
src/sample/sample_modus_ponens.py
src/sample/sample_modus_tollens.py
src/sample/sample_pet_theory_1.py
src/sample/sample_proof_by_contradiction_1.py
src/sample/sample_proof_by_contradiction_2.py
src/sample/sample_proof_by_refutation_1.py
src/sample/sample_proof_by_refutation_2.py
src/sample/sample_sandbox.py
src/sample/sample_universe_of_discourse.py
src/sample/sample_variable.py
src/sample/sample_variable_substitution.py
src/theory/__init__.py
src/theory/punctilious_2023_metatheory_OBSOLETE.py
src/theory/theory_mgz_2021_classical_logic_j0.py
src/theory/theory_mgz_2021_intuitionistic_logic_j0.py
src/theory/theory_mgz_2021_minimal_logic_m0.py
src/theory/theory_mgz_2021_propositional_logic.py
src/theory/theory_punctilious_minimal_metatheory.py
src/theory/theory_tao_2006_the_peano_axioms.py
tests/test_absorption.py
tests/test_auto_index.py
tests/test_axiom_declaration.py
tests/test_axiom_inclusion.py
tests/test_axiom_interpretation.py
tests/test_biconditional_elimination_1.py
tests/test_biconditional_elimination_2.py
tests/test_biconditional_introduction.py
tests/test_block.py
tests/test_conjunction_elimination_1.py
tests/test_conjunction_elimination_2.py
tests/test_conjunction_introduction.py
tests/test_constant_declaration.py
tests/test_constructive_dilemma.py
tests/test_dashed_name.py
tests/test_definition_declaration.py
tests/test_definition_inclusion.py
tests/test_definition_interpretation.py
tests/test_destructive_dilemma.py
tests/test_disjunction_introduction_1.py
tests/test_disjunction_introduction_2.py
tests/test_disjunctive_resolution.py
tests/test_disjunctive_syllogism_1.py
tests/test_disjunctive_syllogism_2.py
tests/test_double_negation_elimination.py
tests/test_double_negation_introduction.py
tests/test_equal_terms_substitution.py
tests/test_equality_commutativity.py
tests/test_formula.py
tests/test_formula_2.py
tests/test_formula_alpha_contains.py
tests/test_formula_alpha_equivalence.py
tests/test_formula_is_mask_similar_to.py
tests/test_free_variable.py
tests/test_hypothesis.py
tests/test_hypothetical_syllogism.py
tests/test_inconsistency_introduction_1.py
tests/test_inconsistency_introduction_2.py
tests/test_inconsistency_introduction_3.py
tests/test_is_declaratively_a_class_member.py
tests/test_iterate_formula_data_model_components.py
tests/test_modus_ponens.py
tests/test_modus_tollens.py
tests/test_nameset.py
tests/test_note.py
tests/test_paragraph.py
tests/test_plaintext.py
tests/test_proof_by_contradiction_1.py
tests/test_proof_by_contradiction_2.py
tests/test_proof_by_refutation_1.py
tests/test_proof_by_refutation_2.py
tests/test_quasi_quotes.py
tests/test_relation_dict.py
tests/test_sans_serif_bold.py
tests/test_sans_serif_normal.py
tests/test_script_normal.py
tests/test_section.py
tests/test_serif_normal.py
tests/test_simple_objct.py
tests/test_subscript.py
tests/test_subscriptify.py
tests/test_tao_2006_the_peano_axioms.py
tests/test_text.py
tests/test_theory_derivation.py
tests/test_theory_derivation_stabilized.py
tests/test_theory_extension.py
tests/test_universe_of_discourse.py
tests/test_universe_of_discourse_inference_rules.py
tests/test_validate_formula.py
tests/test_validate_formula_statement.py
tests/test_variable_substitution.py