LICENSE
README.md
pyproject.toml
src/punctilious/__init__.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_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_disjunction_introduction_1.py
src/sample/sample_disjunction_introduction_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_hypothesis.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_modus_ponens.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_tao_2006_the_peano_axioms_noproof_enus_plaintext.py
src/sample/sample_tao_2006_the_peano_axioms_noproof_enus_unicode.py
src/sample/sample_tao_2006_the_peano_axioms_proof_enus_plaintext.py
src/sample/sample_tao_2006_the_peano_axioms_proof_enus_unicode.py
src/theory/__init__.py
src/theory/classical_propositional_logic.py
src/theory/punctilious_2023_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_dashed_name.py
tests/test_definition_declaration.py
tests/test_definition_inclusion.py
tests/test_disjunction_introduction_1.py
tests/test_disjunction_introduction_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_is_mask_similar_to.py
tests/test_free_variable.py
tests/test_hypothesis.py
tests/test_inconsistency_introduction_1.py
tests/test_inconsistency_introduction_2.py
tests/test_inconsistency_introduction_3.py
tests/test_interpret_formula.py
tests/test_modus_ponens.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_text.py
tests/test_theoretical_objct.py
tests/test_theory_elaboration_sequence.py
tests/test_theory_elaboration_stabilized.py
tests/test_theory_extension.py
tests/test_universe_of_discourse.py
tests/test_universe_of_discourse_inference_rules.py
tests/test_variable_substitution.py