Update Mon Oct 21 01:33:31 PM CEST 2024

leanprover · Oct 21, 2024 · 6ac392b · 6ac392b
commit 6ac392b
Show file tree

Hide file tree

Showing 45 changed files with 22,223 additions and 0 deletions.
diff --git a/.buildinfo b/.buildinfo
@@ -0,0 +1,4 @@
+# Sphinx build info version 1
+# This file records the configuration used when building these files. When it is not found, a full rebuild will be done.
+config: 1e75ce71800ea37850419696ad7c9fdc
+tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/.nojekyll b/.nojekyll
diff --git a/_sources/axioms_and_computation.rst.txt b/_sources/axioms_and_computation.rst.txt
diff --git a/_sources/dependent_type_theory.rst.txt b/_sources/dependent_type_theory.rst.txt
diff --git a/_sources/index.rst.txt b/_sources/index.rst.txt
@@ -0,0 +1,24 @@
+Theorem Proving in Lean 3 (outdated)
+====================================
+
+.. toctree::
+    :numbered:
+    :maxdepth: 2
+
+    introduction
+    dependent_type_theory
+    propositions_and_proofs
+    quantifiers_and_equality
+    tactics
+    interacting_with_lean
+    inductive_types
+    induction_and_recursion
+    structures_and_records
+    type_classes
+    axioms_and_computation
+
+.. Indices and tables
+   ==================
+   * :ref:`genindex`
+   * :ref:`modindex`
+   * :ref:`search`