deletes

leanprover-community · Sep 4, 2024 · 2e486fd · 2e486fd
1 parent 1a6a32d
commit 2e486fd
Show file tree

Hide file tree

Showing 229 changed files with 0 additions and 65,699 deletions.
diff --git a/__pycache__/lean_sphinx.cpython-35.pyc b/__pycache__/lean_sphinx.cpython-35.pyc
diff --git a/_build/doctrees/axiomatic_foundations.doctree b/_build/doctrees/axiomatic_foundations.doctree
diff --git a/_build/doctrees/classical_reasoning.doctree b/_build/doctrees/classical_reasoning.doctree
diff --git a/_build/doctrees/combinatorics.doctree b/_build/doctrees/combinatorics.doctree
diff --git a/_build/doctrees/elementary_number_theory.doctree b/_build/doctrees/elementary_number_theory.doctree
diff --git a/_build/doctrees/environment.pickle b/_build/doctrees/environment.pickle
diff --git a/_build/doctrees/first_order_logic.doctree b/_build/doctrees/first_order_logic.doctree
diff --git a/_build/doctrees/first_order_logic_in_lean.doctree b/_build/doctrees/first_order_logic_in_lean.doctree
diff --git a/_build/doctrees/functions.doctree b/_build/doctrees/functions.doctree
diff --git a/_build/doctrees/functions_in_lean.doctree b/_build/doctrees/functions_in_lean.doctree
diff --git a/_build/doctrees/index.doctree b/_build/doctrees/index.doctree
diff --git a/_build/doctrees/inference_rules_for_first_order_logic.doctree b/_build/doctrees/inference_rules_for_first_order_logic.doctree
diff --git a/_build/doctrees/inference_rules_for_propositional_logic.doctree b/_build/doctrees/inference_rules_for_propositional_logic.doctree
diff --git a/_build/doctrees/introduction.doctree b/_build/doctrees/introduction.doctree
diff --git a/_build/doctrees/natural_deduction_for_first_order_logic.doctree b/_build/doctrees/natural_deduction_for_first_order_logic.doctree
diff --git a/_build/doctrees/natural_deduction_for_propositional_logic.doctree b/_build/doctrees/natural_deduction_for_propositional_logic.doctree
diff --git a/_build/doctrees/nd_quickref.doctree b/_build/doctrees/nd_quickref.doctree
diff --git a/_build/doctrees/propositional_logic.doctree b/_build/doctrees/propositional_logic.doctree
diff --git a/_build/doctrees/propositional_logic_in_lean.doctree b/_build/doctrees/propositional_logic_in_lean.doctree
diff --git a/_build/doctrees/relations.doctree b/_build/doctrees/relations.doctree
diff --git a/_build/doctrees/relations_in_lean.doctree b/_build/doctrees/relations_in_lean.doctree
diff --git a/_build/doctrees/semantics_of_first_order_logic.doctree b/_build/doctrees/semantics_of_first_order_logic.doctree
diff --git a/_build/doctrees/semantics_of_propositional_logic.doctree b/_build/doctrees/semantics_of_propositional_logic.doctree
diff --git a/_build/doctrees/sets.doctree b/_build/doctrees/sets.doctree
diff --git a/_build/doctrees/sets_in_lean.doctree b/_build/doctrees/sets_in_lean.doctree
diff --git a/_build/doctrees/the_infinite.doctree b/_build/doctrees/the_infinite.doctree
diff --git a/_build/doctrees/the_natural_numbers_and_induction.doctree b/_build/doctrees/the_natural_numbers_and_induction.doctree
diff --git a/_build/doctrees/the_natural_numbers_and_induction_in_lean.doctree b/_build/doctrees/the_natural_numbers_and_induction_in_lean.doctree
diff --git a/_build/doctrees/the_real_numbers.doctree b/_build/doctrees/the_real_numbers.doctree
diff --git a/_build/html/.buildinfo b/_build/html/.buildinfo
diff --git a/_build/html/.nojekyll b/_build/html/.nojekyll
diff --git a/_build/html/_sources/axiomatic_foundations.rst.txt b/_build/html/_sources/axiomatic_foundations.rst.txt