init pages

leanprover-community · Sep 3, 2024 · f4b4775 · f4b4775
1 parent bd4edae
commit f4b4775
Show file tree

Hide file tree

Showing 198 changed files with 27,813 additions and 5,088 deletions.
diff --git a/.buildinfo b/.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/.gitignore b/.gitignore
diff --git a/.nojekyll b/.nojekyll
diff --git a/LICENSE b/LICENSE
diff --git a/Makefile b/Makefile
diff --git a/README.md b/README.md
diff --git a/axiomatic_foundations.rst → _sources/axiomatic_foundations.rst.txt b/axiomatic_foundations.rst → _sources/axiomatic_foundations.rst.txt
diff --git a/classical_reasoning.rst → _sources/classical_reasoning.rst.txt b/classical_reasoning.rst → _sources/classical_reasoning.rst.txt
diff --git a/combinatorics.rst → _sources/combinatorics.rst.txt b/combinatorics.rst → _sources/combinatorics.rst.txt
diff --git a/elementary_number_theory.rst → _sources/elementary_number_theory.rst.txt b/elementary_number_theory.rst → _sources/elementary_number_theory.rst.txt
diff --git a/first_order_logic.rst → _sources/first_order_logic.rst.txt b/first_order_logic.rst → _sources/first_order_logic.rst.txt
diff --git a/first_order_logic_in_lean.rst → _sources/first_order_logic_in_lean.rst.txt b/first_order_logic_in_lean.rst → _sources/first_order_logic_in_lean.rst.txt
diff --git a/functions.rst → _sources/functions.rst.txt b/functions.rst → _sources/functions.rst.txt
diff --git a/functions_in_lean.rst → _sources/functions_in_lean.rst.txt b/functions_in_lean.rst → _sources/functions_in_lean.rst.txt
diff --git a/index.rst → _sources/index.rst.txt b/index.rst → _sources/index.rst.txt
diff --git a/inference_rules_for_first_order_logic.rst → ...rence_rules_for_first_order_logic.rst.txt b/inference_rules_for_first_order_logic.rst → ...rence_rules_for_first_order_logic.rst.txt
diff --git a/inference_rules_for_propositional_logic.rst → ...nce_rules_for_propositional_logic.rst.txt b/inference_rules_for_propositional_logic.rst → ...nce_rules_for_propositional_logic.rst.txt
diff --git a/introduction.rst → _sources/introduction.rst.txt b/introduction.rst → _sources/introduction.rst.txt
diff --git a/natural_deduction_for_first_order_logic.rst → ...l_deduction_for_first_order_logic.rst.txt b/natural_deduction_for_first_order_logic.rst → ...l_deduction_for_first_order_logic.rst.txt
diff --git a/...ral_deduction_for_propositional_logic.rst → ...deduction_for_propositional_logic.rst.txt b/...ral_deduction_for_propositional_logic.rst → ...deduction_for_propositional_logic.rst.txt
diff --git a/nd_quickref.rst → _sources/nd_quickref.rst.txt b/nd_quickref.rst → _sources/nd_quickref.rst.txt
diff --git a/propositional_logic.rst → _sources/propositional_logic.rst.txt b/propositional_logic.rst → _sources/propositional_logic.rst.txt
diff --git a/propositional_logic_in_lean.rst → _sources/propositional_logic_in_lean.rst.txt b/propositional_logic_in_lean.rst → _sources/propositional_logic_in_lean.rst.txt
diff --git a/relations.rst → _sources/relations.rst.txt b/relations.rst → _sources/relations.rst.txt
diff --git a/relations_in_lean.rst → _sources/relations_in_lean.rst.txt b/relations_in_lean.rst → _sources/relations_in_lean.rst.txt
diff --git a/semantics_of_first_order_logic.rst → ...es/semantics_of_first_order_logic.rst.txt b/semantics_of_first_order_logic.rst → ...es/semantics_of_first_order_logic.rst.txt
diff --git a/semantics_of_propositional_logic.rst → .../semantics_of_propositional_logic.rst.txt b/semantics_of_propositional_logic.rst → .../semantics_of_propositional_logic.rst.txt
diff --git a/sets.rst → _sources/sets.rst.txt b/sets.rst → _sources/sets.rst.txt
diff --git a/sets_in_lean.rst → _sources/sets_in_lean.rst.txt b/sets_in_lean.rst → _sources/sets_in_lean.rst.txt
diff --git a/the_infinite.rst → _sources/the_infinite.rst.txt b/the_infinite.rst → _sources/the_infinite.rst.txt
diff --git a/the_natural_numbers_and_induction.rst → ...the_natural_numbers_and_induction.rst.txt b/the_natural_numbers_and_induction.rst → ...the_natural_numbers_and_induction.rst.txt
diff --git a/...natural_numbers_and_induction_in_lean.rst → ...ral_numbers_and_induction_in_lean.rst.txt b/...natural_numbers_and_induction_in_lean.rst → ...ral_numbers_and_induction_in_lean.rst.txt
diff --git a/the_real_numbers.rst → _sources/the_real_numbers.rst.txt b/the_real_numbers.rst → _sources/the_real_numbers.rst.txt