├── .gitignore ├── ABCTrueAlmostAlways.lean ├── ABCTrueAlmostAlways └── ABCTrueAlmostAlways.lean ├── README.md ├── blueprint ├── lean_decls ├── print │ └── print.pdf ├── src │ ├── blueprint.sty │ ├── content.tex │ ├── extra_styles.css │ ├── latexmkrc │ ├── macros │ │ ├── common.tex │ │ ├── print.tex │ │ └── web.tex │ ├── plastex.cfg │ ├── print.tex │ ├── web.paux │ └── web.tex └── web │ ├── dep_graph_document.html │ ├── index.html │ ├── js │ ├── d3-graphviz.js │ ├── d3.min.js │ ├── expatlib.wasm │ ├── graphvizlib.wasm │ ├── hpcc.min.js │ ├── jquery.min.js │ ├── js.cookie.min.js │ ├── plastex.js │ ├── showmore.js │ └── svgxuse.js │ ├── sect0001.html │ ├── styles │ ├── amsthm.css │ ├── blueprint.css │ ├── dep_graph.css │ ├── extra_styles.css │ ├── showmore.css │ ├── theme-blue.css │ ├── theme-green.css │ └── theme-white.css │ └── symbol-defs.svg ├── home_page ├── 404.html ├── Gemfile ├── Gemfile.lock ├── _config.yml ├── _include │ └── mathjax.html ├── _layouts │ └── default.html ├── assets │ └── css │ │ └── style.scss └── index.md ├── lake-manifest.json ├── lakefile.toml └── lean-toolchain /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/.gitignore -------------------------------------------------------------------------------- /ABCTrueAlmostAlways.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/ABCTrueAlmostAlways.lean -------------------------------------------------------------------------------- /ABCTrueAlmostAlways/ABCTrueAlmostAlways.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/ABCTrueAlmostAlways/ABCTrueAlmostAlways.lean -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/README.md -------------------------------------------------------------------------------- /blueprint/lean_decls: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /blueprint/print/print.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/print/print.pdf -------------------------------------------------------------------------------- /blueprint/src/blueprint.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/blueprint.sty -------------------------------------------------------------------------------- /blueprint/src/content.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/content.tex -------------------------------------------------------------------------------- /blueprint/src/extra_styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/extra_styles.css -------------------------------------------------------------------------------- /blueprint/src/latexmkrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/latexmkrc -------------------------------------------------------------------------------- /blueprint/src/macros/common.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/macros/common.tex -------------------------------------------------------------------------------- /blueprint/src/macros/print.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/macros/print.tex -------------------------------------------------------------------------------- /blueprint/src/macros/web.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/macros/web.tex -------------------------------------------------------------------------------- /blueprint/src/plastex.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/plastex.cfg -------------------------------------------------------------------------------- /blueprint/src/print.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/print.tex -------------------------------------------------------------------------------- /blueprint/src/web.paux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/web.paux -------------------------------------------------------------------------------- /blueprint/src/web.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/src/web.tex -------------------------------------------------------------------------------- /blueprint/web/dep_graph_document.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/dep_graph_document.html -------------------------------------------------------------------------------- /blueprint/web/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/index.html -------------------------------------------------------------------------------- /blueprint/web/js/d3-graphviz.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/d3-graphviz.js -------------------------------------------------------------------------------- /blueprint/web/js/d3.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/d3.min.js -------------------------------------------------------------------------------- /blueprint/web/js/expatlib.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/expatlib.wasm -------------------------------------------------------------------------------- /blueprint/web/js/graphvizlib.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/graphvizlib.wasm -------------------------------------------------------------------------------- /blueprint/web/js/hpcc.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/hpcc.min.js -------------------------------------------------------------------------------- /blueprint/web/js/jquery.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/jquery.min.js -------------------------------------------------------------------------------- /blueprint/web/js/js.cookie.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/js.cookie.min.js -------------------------------------------------------------------------------- /blueprint/web/js/plastex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/plastex.js -------------------------------------------------------------------------------- /blueprint/web/js/showmore.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/showmore.js -------------------------------------------------------------------------------- /blueprint/web/js/svgxuse.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/js/svgxuse.js -------------------------------------------------------------------------------- /blueprint/web/sect0001.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/sect0001.html -------------------------------------------------------------------------------- /blueprint/web/styles/amsthm.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/styles/amsthm.css -------------------------------------------------------------------------------- /blueprint/web/styles/blueprint.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/styles/blueprint.css -------------------------------------------------------------------------------- /blueprint/web/styles/dep_graph.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/styles/dep_graph.css -------------------------------------------------------------------------------- /blueprint/web/styles/extra_styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/styles/extra_styles.css -------------------------------------------------------------------------------- /blueprint/web/styles/showmore.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/styles/showmore.css -------------------------------------------------------------------------------- /blueprint/web/styles/theme-blue.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/styles/theme-blue.css -------------------------------------------------------------------------------- /blueprint/web/styles/theme-green.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/styles/theme-green.css -------------------------------------------------------------------------------- /blueprint/web/styles/theme-white.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/styles/theme-white.css -------------------------------------------------------------------------------- /blueprint/web/symbol-defs.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/blueprint/web/symbol-defs.svg -------------------------------------------------------------------------------- /home_page/404.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/home_page/404.html -------------------------------------------------------------------------------- /home_page/Gemfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/home_page/Gemfile -------------------------------------------------------------------------------- /home_page/Gemfile.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/home_page/Gemfile.lock -------------------------------------------------------------------------------- /home_page/_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/home_page/_config.yml -------------------------------------------------------------------------------- /home_page/_include/mathjax.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/home_page/_include/mathjax.html -------------------------------------------------------------------------------- /home_page/_layouts/default.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/home_page/_layouts/default.html -------------------------------------------------------------------------------- /home_page/assets/css/style.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/home_page/assets/css/style.scss -------------------------------------------------------------------------------- /home_page/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/home_page/index.md -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/morph-labs/lean-abc-true-almost-always/HEAD/lakefile.toml -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.20.0 2 | --------------------------------------------------------------------------------