merge PR

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

Hide file tree

Showing 424 changed files with 65,708 additions and 9 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
@@ -0,0 +1,4 @@
+# Sphinx build info version 1
+# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
+config: 200a8dd402bd19efe4e8492a62c06e00
+tags: 645f666f9bcd5a90fca523b33c5a78b7
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