├── .gitignore ├── .travis.yml ├── 01_Introduction.org ├── 02_Dependent_Type_Theory.org ├── 03_Propositions_and_Proofs.org ├── 04_Quantifiers_and_Equality.org ├── 05_Interacting_with_Lean.org ├── 06_Inductive_Types.org ├── 07_Induction_and_Recursion.org ├── 08_Building_Theories_and_Proofs.org ├── 09_Type_Classes.org ├── 10_Structures_and_Records.org ├── 11_Tactic-Style_Proofs.org ├── 12_Axioms.org ├── 13_More_Tactics.org ├── A1_Quick_Reference.org ├── Cask ├── LICENSE ├── Makefile ├── README.md ├── adjcalc.sty ├── adjustbox.sty ├── basics.org ├── collectbox.sty ├── csquotes.sty ├── css ├── code.css ├── images │ ├── handle-h.png │ ├── handle-v.png │ ├── ui-bg_flat_0_aaaaaa_40x100.png │ ├── ui-bg_flat_75_ffffff_40x100.png │ ├── ui-bg_glass_55_fbf9ee_1x400.png │ ├── ui-bg_glass_65_ffffff_1x400.png │ ├── ui-bg_glass_75_dadada_1x400.png │ ├── ui-bg_glass_75_e6e6e6_1x400.png │ ├── ui-bg_glass_95_fef1ec_1x400.png │ ├── ui-bg_highlight-soft_75_cccccc_1x100.png │ ├── ui-icons_222222_256x240.png │ ├── ui-icons_2e83ff_256x240.png │ ├── ui-icons_454545_256x240.png │ ├── ui-icons_888888_256x240.png │ └── ui-icons_cd0a0a_256x240.png ├── jquery-ui.css ├── main_live.css └── tutorial.css ├── deploy.sh ├── elisp ├── lean-export-util.el ├── org-html-export.el └── org-pdf-export.el ├── etoolbox.sty ├── example.org ├── fonts ├── DejaVuSansMono-Bold.eot ├── DejaVuSansMono-Bold.svg ├── DejaVuSansMono-Bold.ttf ├── DejaVuSansMono-Bold.woff ├── DejaVuSansMono.eot ├── DejaVuSansMono.svg ├── DejaVuSansMono.ttf ├── DejaVuSansMono.woff ├── FreeMono.eot ├── FreeMono.otf ├── FreeMono.svg ├── FreeMono.ttf ├── FreeMono.woff ├── FreeMono.woff2 ├── FreeMonoBold.eot ├── FreeMonoBold.svg ├── FreeMonoBold.ttf ├── FreeMonoBold.woff └── FreeMonoBold.woff2 ├── footer ├── .gitignore ├── bib.html.org └── latex.org ├── gitinfo.sty ├── gitsetinfo.sty ├── header ├── .gitignore ├── html.org ├── index.html.org ├── l3kernel.tar.gz ├── latex.org ├── latex.tex ├── latex_quickref.org └── latex_quickref.tex ├── images ├── android-chrome-144x144.png ├── android-chrome-192x192.png ├── android-chrome-36x36.png ├── android-chrome-48x48.png ├── android-chrome-72x72.png ├── android-chrome-96x96.png ├── apple-touch-icon-114x114.png ├── apple-touch-icon-120x120.png ├── apple-touch-icon-144x144.png ├── apple-touch-icon-152x152.png ├── apple-touch-icon-180x180.png ├── apple-touch-icon-57x57.png ├── apple-touch-icon-60x60.png ├── apple-touch-icon-72x72.png ├── apple-touch-icon-76x76.png ├── apple-touch-icon-precomposed.png ├── apple-touch-icon.png ├── book.svg ├── browserconfig.xml ├── console.svg ├── dropbox.svg ├── favicon-16x16.png ├── favicon-32x32.png ├── favicon-96x96.png ├── favicon.ico ├── favicon.pxm ├── gear.svg ├── lean_logo_small.svg ├── load.svg ├── manifest.json ├── mstile-144x144.png ├── mstile-150x150.png ├── mstile-310x150.png ├── mstile-310x310.png ├── mstile-70x70.png ├── new.svg ├── run.svg ├── save.svg ├── share.svg ├── square-landscape-main-code-console.svg ├── square-landscape-main-code.svg ├── square-portrait-main-code-console.svg ├── square-portrait-main-code.svg └── square.svg ├── imakeidx.sty ├── index.html ├── js ├── .gitignore ├── completion.js ├── completion_input.in ├── completion_input.lean ├── input-method.js └── main_live.js ├── juicy-ace-editor.html ├── lean.bib ├── mathspec.sty ├── merge_chapters.sh ├── minted.sty ├── newunicodechar.sty ├── structures.org ├── tc-pgf.def ├── test.sh ├── test_js.sh ├── trimclip.sty ├── ulem.sty ├── unixode.sty ├── xetex-inputenc.sty ├── xparse.sty ├── xstring.sty └── xstring.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/.travis.yml -------------------------------------------------------------------------------- /01_Introduction.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/01_Introduction.org -------------------------------------------------------------------------------- /02_Dependent_Type_Theory.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/02_Dependent_Type_Theory.org -------------------------------------------------------------------------------- /03_Propositions_and_Proofs.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/03_Propositions_and_Proofs.org -------------------------------------------------------------------------------- /04_Quantifiers_and_Equality.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/04_Quantifiers_and_Equality.org -------------------------------------------------------------------------------- /05_Interacting_with_Lean.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/05_Interacting_with_Lean.org -------------------------------------------------------------------------------- /06_Inductive_Types.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/06_Inductive_Types.org -------------------------------------------------------------------------------- /07_Induction_and_Recursion.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/07_Induction_and_Recursion.org -------------------------------------------------------------------------------- /08_Building_Theories_and_Proofs.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/08_Building_Theories_and_Proofs.org -------------------------------------------------------------------------------- /09_Type_Classes.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/09_Type_Classes.org -------------------------------------------------------------------------------- /10_Structures_and_Records.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/10_Structures_and_Records.org -------------------------------------------------------------------------------- /11_Tactic-Style_Proofs.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/11_Tactic-Style_Proofs.org -------------------------------------------------------------------------------- /12_Axioms.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/12_Axioms.org -------------------------------------------------------------------------------- /13_More_Tactics.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/13_More_Tactics.org -------------------------------------------------------------------------------- /A1_Quick_Reference.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/A1_Quick_Reference.org -------------------------------------------------------------------------------- /Cask: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/Cask -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/README.md -------------------------------------------------------------------------------- /adjcalc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/adjcalc.sty -------------------------------------------------------------------------------- /adjustbox.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/adjustbox.sty -------------------------------------------------------------------------------- /basics.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/basics.org -------------------------------------------------------------------------------- /collectbox.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/collectbox.sty -------------------------------------------------------------------------------- /csquotes.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/csquotes.sty -------------------------------------------------------------------------------- /css/code.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/code.css -------------------------------------------------------------------------------- /css/images/handle-h.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/handle-h.png -------------------------------------------------------------------------------- /css/images/handle-v.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/handle-v.png -------------------------------------------------------------------------------- /css/images/ui-bg_flat_0_aaaaaa_40x100.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-bg_flat_0_aaaaaa_40x100.png -------------------------------------------------------------------------------- /css/images/ui-bg_flat_75_ffffff_40x100.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-bg_flat_75_ffffff_40x100.png -------------------------------------------------------------------------------- /css/images/ui-bg_glass_55_fbf9ee_1x400.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-bg_glass_55_fbf9ee_1x400.png -------------------------------------------------------------------------------- /css/images/ui-bg_glass_65_ffffff_1x400.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-bg_glass_65_ffffff_1x400.png -------------------------------------------------------------------------------- /css/images/ui-bg_glass_75_dadada_1x400.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-bg_glass_75_dadada_1x400.png -------------------------------------------------------------------------------- /css/images/ui-bg_glass_75_e6e6e6_1x400.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-bg_glass_75_e6e6e6_1x400.png -------------------------------------------------------------------------------- /css/images/ui-bg_glass_95_fef1ec_1x400.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-bg_glass_95_fef1ec_1x400.png -------------------------------------------------------------------------------- /css/images/ui-bg_highlight-soft_75_cccccc_1x100.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-bg_highlight-soft_75_cccccc_1x100.png -------------------------------------------------------------------------------- /css/images/ui-icons_222222_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-icons_222222_256x240.png -------------------------------------------------------------------------------- /css/images/ui-icons_2e83ff_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-icons_2e83ff_256x240.png -------------------------------------------------------------------------------- /css/images/ui-icons_454545_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-icons_454545_256x240.png -------------------------------------------------------------------------------- /css/images/ui-icons_888888_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-icons_888888_256x240.png -------------------------------------------------------------------------------- /css/images/ui-icons_cd0a0a_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/images/ui-icons_cd0a0a_256x240.png -------------------------------------------------------------------------------- /css/jquery-ui.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/jquery-ui.css -------------------------------------------------------------------------------- /css/main_live.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/main_live.css -------------------------------------------------------------------------------- /css/tutorial.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/css/tutorial.css -------------------------------------------------------------------------------- /deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/deploy.sh -------------------------------------------------------------------------------- /elisp/lean-export-util.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/elisp/lean-export-util.el -------------------------------------------------------------------------------- /elisp/org-html-export.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/elisp/org-html-export.el -------------------------------------------------------------------------------- /elisp/org-pdf-export.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/elisp/org-pdf-export.el -------------------------------------------------------------------------------- /etoolbox.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/etoolbox.sty -------------------------------------------------------------------------------- /example.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/example.org -------------------------------------------------------------------------------- /fonts/DejaVuSansMono-Bold.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/DejaVuSansMono-Bold.eot -------------------------------------------------------------------------------- /fonts/DejaVuSansMono-Bold.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/DejaVuSansMono-Bold.svg -------------------------------------------------------------------------------- /fonts/DejaVuSansMono-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/DejaVuSansMono-Bold.ttf -------------------------------------------------------------------------------- /fonts/DejaVuSansMono-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/DejaVuSansMono-Bold.woff -------------------------------------------------------------------------------- /fonts/DejaVuSansMono.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/DejaVuSansMono.eot -------------------------------------------------------------------------------- /fonts/DejaVuSansMono.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/DejaVuSansMono.svg -------------------------------------------------------------------------------- /fonts/DejaVuSansMono.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/DejaVuSansMono.ttf -------------------------------------------------------------------------------- /fonts/DejaVuSansMono.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/DejaVuSansMono.woff -------------------------------------------------------------------------------- /fonts/FreeMono.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMono.eot -------------------------------------------------------------------------------- /fonts/FreeMono.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMono.otf -------------------------------------------------------------------------------- /fonts/FreeMono.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMono.svg -------------------------------------------------------------------------------- /fonts/FreeMono.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMono.ttf -------------------------------------------------------------------------------- /fonts/FreeMono.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMono.woff -------------------------------------------------------------------------------- /fonts/FreeMono.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMono.woff2 -------------------------------------------------------------------------------- /fonts/FreeMonoBold.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMonoBold.eot -------------------------------------------------------------------------------- /fonts/FreeMonoBold.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMonoBold.svg -------------------------------------------------------------------------------- /fonts/FreeMonoBold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMonoBold.ttf -------------------------------------------------------------------------------- /fonts/FreeMonoBold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMonoBold.woff -------------------------------------------------------------------------------- /fonts/FreeMonoBold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/fonts/FreeMonoBold.woff2 -------------------------------------------------------------------------------- /footer/.gitignore: -------------------------------------------------------------------------------- 1 | !* -------------------------------------------------------------------------------- /footer/bib.html.org: -------------------------------------------------------------------------------- 1 | #+BIBLIOGRAPHY: lean plain limit:t 2 | -------------------------------------------------------------------------------- /footer/latex.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/footer/latex.org -------------------------------------------------------------------------------- /gitinfo.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/gitinfo.sty -------------------------------------------------------------------------------- /gitsetinfo.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/gitsetinfo.sty -------------------------------------------------------------------------------- /header/.gitignore: -------------------------------------------------------------------------------- 1 | !* -------------------------------------------------------------------------------- /header/html.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/header/html.org -------------------------------------------------------------------------------- /header/index.html.org: -------------------------------------------------------------------------------- 1 | #+HTML_HEAD_EXTRA: 2 | -------------------------------------------------------------------------------- /header/l3kernel.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/header/l3kernel.tar.gz -------------------------------------------------------------------------------- /header/latex.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/header/latex.org -------------------------------------------------------------------------------- /header/latex.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/header/latex.tex -------------------------------------------------------------------------------- /header/latex_quickref.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/header/latex_quickref.org -------------------------------------------------------------------------------- /header/latex_quickref.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/header/latex_quickref.tex -------------------------------------------------------------------------------- /images/android-chrome-144x144.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/android-chrome-144x144.png -------------------------------------------------------------------------------- /images/android-chrome-192x192.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/android-chrome-192x192.png -------------------------------------------------------------------------------- /images/android-chrome-36x36.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/android-chrome-36x36.png -------------------------------------------------------------------------------- /images/android-chrome-48x48.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/android-chrome-48x48.png -------------------------------------------------------------------------------- /images/android-chrome-72x72.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/android-chrome-72x72.png -------------------------------------------------------------------------------- /images/android-chrome-96x96.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/android-chrome-96x96.png -------------------------------------------------------------------------------- /images/apple-touch-icon-114x114.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-114x114.png -------------------------------------------------------------------------------- /images/apple-touch-icon-120x120.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-120x120.png -------------------------------------------------------------------------------- /images/apple-touch-icon-144x144.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-144x144.png -------------------------------------------------------------------------------- /images/apple-touch-icon-152x152.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-152x152.png -------------------------------------------------------------------------------- /images/apple-touch-icon-180x180.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-180x180.png -------------------------------------------------------------------------------- /images/apple-touch-icon-57x57.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-57x57.png -------------------------------------------------------------------------------- /images/apple-touch-icon-60x60.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-60x60.png -------------------------------------------------------------------------------- /images/apple-touch-icon-72x72.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-72x72.png -------------------------------------------------------------------------------- /images/apple-touch-icon-76x76.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-76x76.png -------------------------------------------------------------------------------- /images/apple-touch-icon-precomposed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon-precomposed.png -------------------------------------------------------------------------------- /images/apple-touch-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/apple-touch-icon.png -------------------------------------------------------------------------------- /images/book.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/book.svg -------------------------------------------------------------------------------- /images/browserconfig.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/browserconfig.xml -------------------------------------------------------------------------------- /images/console.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/console.svg -------------------------------------------------------------------------------- /images/dropbox.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/dropbox.svg -------------------------------------------------------------------------------- /images/favicon-16x16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/favicon-16x16.png -------------------------------------------------------------------------------- /images/favicon-32x32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/favicon-32x32.png -------------------------------------------------------------------------------- /images/favicon-96x96.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/favicon-96x96.png -------------------------------------------------------------------------------- /images/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/favicon.ico -------------------------------------------------------------------------------- /images/favicon.pxm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/favicon.pxm -------------------------------------------------------------------------------- /images/gear.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/gear.svg -------------------------------------------------------------------------------- /images/lean_logo_small.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/lean_logo_small.svg -------------------------------------------------------------------------------- /images/load.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/load.svg -------------------------------------------------------------------------------- /images/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/manifest.json -------------------------------------------------------------------------------- /images/mstile-144x144.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/mstile-144x144.png -------------------------------------------------------------------------------- /images/mstile-150x150.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/mstile-150x150.png -------------------------------------------------------------------------------- /images/mstile-310x150.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/mstile-310x150.png -------------------------------------------------------------------------------- /images/mstile-310x310.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/mstile-310x310.png -------------------------------------------------------------------------------- /images/mstile-70x70.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/mstile-70x70.png -------------------------------------------------------------------------------- /images/new.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/new.svg -------------------------------------------------------------------------------- /images/run.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/run.svg -------------------------------------------------------------------------------- /images/save.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/save.svg -------------------------------------------------------------------------------- /images/share.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/share.svg -------------------------------------------------------------------------------- /images/square-landscape-main-code-console.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/square-landscape-main-code-console.svg -------------------------------------------------------------------------------- /images/square-landscape-main-code.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/square-landscape-main-code.svg -------------------------------------------------------------------------------- /images/square-portrait-main-code-console.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/square-portrait-main-code-console.svg -------------------------------------------------------------------------------- /images/square-portrait-main-code.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/square-portrait-main-code.svg -------------------------------------------------------------------------------- /images/square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/images/square.svg -------------------------------------------------------------------------------- /imakeidx.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/imakeidx.sty -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/index.html -------------------------------------------------------------------------------- /js/.gitignore: -------------------------------------------------------------------------------- 1 | nav_data.js -------------------------------------------------------------------------------- /js/completion.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/js/completion.js -------------------------------------------------------------------------------- /js/completion_input.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/js/completion_input.in -------------------------------------------------------------------------------- /js/completion_input.lean: -------------------------------------------------------------------------------- 1 | import standard 2 | -- 3 | -------------------------------------------------------------------------------- /js/input-method.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/js/input-method.js -------------------------------------------------------------------------------- /js/main_live.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/js/main_live.js -------------------------------------------------------------------------------- /juicy-ace-editor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/juicy-ace-editor.html -------------------------------------------------------------------------------- /lean.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/lean.bib -------------------------------------------------------------------------------- /mathspec.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/mathspec.sty -------------------------------------------------------------------------------- /merge_chapters.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/merge_chapters.sh -------------------------------------------------------------------------------- /minted.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/minted.sty -------------------------------------------------------------------------------- /newunicodechar.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/newunicodechar.sty -------------------------------------------------------------------------------- /structures.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/structures.org -------------------------------------------------------------------------------- /tc-pgf.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/tc-pgf.def -------------------------------------------------------------------------------- /test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/test.sh -------------------------------------------------------------------------------- /test_js.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/test_js.sh -------------------------------------------------------------------------------- /trimclip.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/trimclip.sty -------------------------------------------------------------------------------- /ulem.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/ulem.sty -------------------------------------------------------------------------------- /unixode.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/unixode.sty -------------------------------------------------------------------------------- /xetex-inputenc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/xetex-inputenc.sty -------------------------------------------------------------------------------- /xparse.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/xparse.sty -------------------------------------------------------------------------------- /xstring.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/xstring.sty -------------------------------------------------------------------------------- /xstring.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/tutorial/HEAD/xstring.tex --------------------------------------------------------------------------------