From 35b2b0c9bf5940ac11e3fbc6214c189adbe1fc25 Mon Sep 17 00:00:00 2001 From: Patrick Massot Date: Wed, 17 Jul 2024 18:05:05 +0200 Subject: [PATCH] Update mer. 17 juil. 2024 18:05:05 CEST --- .buildinfo | 2 +- C01_Introduction.html | 38 +- C02_Basics.html | 79 +- C03_Logic.html | 75 +- C04_Sets_and_Functions.html | 54 +- C05_Elementary_Number_Theory.html | 64 +- C06_Structures.html | 142 +- C07_Hierarchies.html | 44 +- C08_Groups_and_Rings.html | 120 +- C09_Topology.html | 92 +- C10_Differential_Calculus.html | 62 +- C11_Integration_and_Measure_Theory.html | 46 +- .../_sphinx_javascript_frameworks_compat.js | 123 + _static/basic.css | 55 +- _static/css/badge_only.css | 2 +- _static/css/theme.css | 4 +- _static/doctools.js | 384 +- _static/documentation_options.js | 6 +- _static/jquery-3.5.1.js | 10872 ---------------- _static/jquery.js | 4 +- _static/language_data.js | 102 +- _static/searchtools.js | 827 +- _static/sphinx_highlight.js | 144 + _static/underscore-1.13.1.js | 2042 --- _static/underscore.js | 6 - genindex.html | 32 +- index.html | 26 +- mathematics_in_lean.pdf | Bin 975874 -> 1005187 bytes search.html | 17 +- searchindex.js | 2 +- 30 files changed, 1340 insertions(+), 14126 deletions(-) create mode 100644 _static/_sphinx_javascript_frameworks_compat.js delete mode 100644 _static/jquery-3.5.1.js create mode 100644 _static/sphinx_highlight.js delete mode 100644 _static/underscore-1.13.1.js delete mode 100644 _static/underscore.js diff --git a/.buildinfo b/.buildinfo index d1d64cb6..101c7a45 100644 --- a/.buildinfo +++ b/.buildinfo @@ -1,4 +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: 803b947a09f3db5a52c6c529e3761a53 +config: dfa3c760a9c309561b2de03685612f6b tags: 645f666f9bcd5a90fca523b33c5a78b7 diff --git a/C01_Introduction.html b/C01_Introduction.html index 05c819e1..8eeb40ac 100644 --- a/C01_Introduction.html +++ b/C01_Introduction.html @@ -1,7 +1,8 @@ - + + 1. Introduction — Mathematics in Lean 0.1 documentation @@ -12,10 +13,11 @@ - - + + + @@ -28,11 +30,15 @@