├── .github └── workflows │ ├── ci.yml │ ├── consistent-subverso-manifests.yml │ ├── copyright-header.yml │ ├── merge-main-nightly.yml │ ├── pull-request-toolchains.yml │ └── update-nightly.yml ├── .gitignore ├── .reference_manual_revision ├── LICENSE ├── Main.lean ├── README-html.md ├── README.md ├── UsersGuideMain.lean ├── browser-tests ├── conftest.py ├── pyproject.toml ├── test_katex.py ├── test_redirect.py └── uv.lock ├── doc ├── UsersGuide.lean └── UsersGuide │ ├── Basic.lean │ ├── Elab.lean │ ├── Extensions.lean │ ├── Manuals.lean │ ├── Markup.lean │ ├── Output.lean │ └── Websites.lean ├── elan-init ├── examples ├── anchor-examples │ ├── .gitignore │ ├── AnchorExamples.lean │ ├── AnchorExamples │ │ └── Basic.lean │ ├── lake-manifest.json │ ├── lakefile.lean │ └── lean-toolchain ├── custom-genre │ ├── SimplePage.lean │ ├── SimplePage │ │ └── Demo.lean │ └── SimplePageMain.lean ├── documented-package │ ├── Zippers.lean │ ├── lake-manifest.json │ ├── lakefile.toml │ └── lean-toolchain ├── package-manual │ ├── PackageManual.lean │ ├── PackageManual │ │ ├── DocFeatures.lean │ │ └── Papers.lean │ ├── PackageManualMain.lean │ └── README.md ├── textbook │ ├── DemoTextbook.lean │ ├── DemoTextbook │ │ ├── ListSet.lean │ │ ├── Meta │ │ │ └── Lean.lean │ │ ├── Nat.lean │ │ └── Papers.lean │ ├── DemoTextbookMain.lean │ └── README.md ├── website-examples │ ├── .gitignore │ ├── Examples.lean │ ├── Examples │ │ └── Basic.lean │ ├── lake-manifest.json │ ├── lakefile.lean │ └── lean-toolchain ├── website-literate │ ├── LitLean.lean │ ├── lake-manifest.json │ ├── lakefile.toml │ └── lean-toolchain └── website │ ├── DemoSite.lean │ ├── DemoSite │ ├── About.lean │ ├── Blog.lean │ ├── Blog │ │ ├── AnchorBased.lean │ │ ├── Conditionals.lean │ │ ├── FirstPost.lean │ │ └── Subprojects.lean │ ├── Categories.lean │ ├── Front.lean │ └── LiteratePage.lean │ ├── DemoSiteMain.lean │ └── static_files │ ├── logo.png │ └── style.css ├── generate.sh ├── index.html ├── lake-manifest.json ├── lakefile.lean ├── lean-toolchain ├── server.py ├── src ├── cli │ └── Main.lean ├── multi-verso │ ├── MultiVerso.lean │ └── MultiVerso │ │ ├── InternalId.lean │ │ ├── Link.lean │ │ ├── Manifest.lean │ │ ├── NameMap.lean │ │ ├── Path.lean │ │ └── Slug.lean ├── tests │ ├── TestMain.lean │ ├── Tests.lean │ ├── Tests │ │ ├── Arbitrary.lean │ │ ├── Basic.lean │ │ ├── Elab.lean │ │ ├── GenericCode.lean │ │ ├── Golden.lean │ │ ├── HtmlEntities.lean │ │ ├── Integration.lean │ │ ├── Integration │ │ │ ├── InheritanceDoc.lean │ │ │ └── SampleDoc.lean │ │ ├── LeanCode.lean │ │ ├── ParserRegression.lean │ │ ├── Paths.lean │ │ ├── Refs.lean │ │ ├── Serialization.lean │ │ ├── TexUnit.lean │ │ ├── TexUtil.lean │ │ ├── VersoBlog.lean │ │ ├── VersoManual.lean │ │ ├── VersoManual │ │ │ ├── Html.lean │ │ │ ├── Html │ │ │ │ └── SoftHyphenate.lean │ │ │ └── Markdown.lean │ │ ├── Z85.lean │ │ └── Zip.lean │ ├── integration │ │ ├── inheritance-doc │ │ │ └── expected │ │ │ │ └── tex │ │ │ │ └── main.tex │ │ └── sample-doc │ │ │ └── expected │ │ │ └── tex │ │ │ └── main.tex │ └── stemmer │ │ ├── output.txt │ │ └── voc.txt ├── verso-blog │ ├── VersoBlog.lean │ └── VersoBlog │ │ ├── Basic.lean │ │ ├── Component.lean │ │ ├── Component │ │ └── Ext.lean │ │ ├── Generate.lean │ │ ├── LexedText.lean │ │ ├── LiterateLeanPage.lean │ │ ├── LiterateLeanPage │ │ └── Options.lean │ │ ├── LiterateModuleDocs.lean │ │ ├── Site.lean │ │ ├── Site │ │ └── Syntax.lean │ │ ├── Template.lean │ │ ├── Theme.lean │ │ └── Traverse.lean ├── verso-html │ ├── Main.lean │ └── code.css ├── verso-literate │ ├── Main.lean │ ├── VersoLiterate.lean │ └── VersoLiterate │ │ ├── Basic.lean │ │ ├── Exported.lean │ │ ├── Module.lean │ │ └── Search.lean ├── verso-manual │ ├── VersoManual.lean │ └── VersoManual │ │ ├── Basic.lean │ │ ├── Bibliography.lean │ │ ├── Docstring.lean │ │ ├── Docstring │ │ ├── Config.lean │ │ └── Progress.lean │ │ ├── Draft.lean │ │ ├── Ext.lean │ │ ├── ExternalLean.lean │ │ ├── Glossary.lean │ │ ├── HighlightedCode.lean │ │ ├── Html.lean │ │ ├── Html │ │ ├── Config.lean │ │ ├── CssFile.lean │ │ ├── DataFile.lean │ │ ├── Features.lean │ │ ├── JsFile.lean │ │ ├── SoftHyphenate.lean │ │ └── Style.lean │ │ ├── Index.lean │ │ ├── InlineLean.lean │ │ ├── InlineLean │ │ ├── Block.lean │ │ ├── IO.lean │ │ ├── IO │ │ │ └── Context.lean │ │ ├── LongLines.lean │ │ ├── Option.lean │ │ ├── Outputs.lean │ │ ├── Scopes.lean │ │ ├── Signature.lean │ │ └── SyntaxError.lean │ │ ├── License.lean │ │ ├── LicenseInfo.lean │ │ ├── LicenseInfo │ │ └── Licenses.lean │ │ ├── Linters.lean │ │ ├── Literate.lean │ │ ├── LocalContents.lean │ │ ├── Marginalia.lean │ │ ├── Markdown.lean │ │ ├── Table.lean │ │ ├── TeX.lean │ │ ├── WebAssets.lean │ │ └── WordCount.lean ├── verso-search │ ├── VersoSearch.lean │ └── VersoSearch │ │ ├── DomainSearch.lean │ │ └── PorterStemmer.lean ├── verso-util │ ├── VersoUtil.lean │ └── VersoUtil │ │ ├── BinFiles.lean │ │ └── BinFiles │ │ └── Z85.lean └── verso │ ├── Verso.lean │ └── Verso │ ├── BEq.lean │ ├── Code.lean │ ├── Code │ ├── External.lean │ ├── External │ │ ├── Env.lean │ │ └── Files.lean │ ├── Highlighted.lean │ ├── Highlighted │ │ └── WebAssets.lean │ └── HighlightedToTex.lean │ ├── Doc.lean │ ├── Doc │ ├── ArgParse.lean │ ├── Concrete.lean │ ├── Concrete │ │ └── InlineString.lean │ ├── DocName.lean │ ├── Elab.lean │ ├── Elab │ │ ├── Basic.lean │ │ ├── Block.lean │ │ ├── ExpanderAttribute.lean │ │ ├── Incremental.lean │ │ ├── Inline.lean │ │ ├── InlineString.lean │ │ └── Monad.lean │ ├── Html.lean │ ├── Lsp.lean │ ├── Name.lean │ ├── PointOfInterest.lean │ ├── Suggestion.lean │ └── TeX.lean │ ├── ExpectString.lean │ ├── FS.lean │ ├── Hint.lean │ ├── Hover.lean │ ├── Instances.lean │ ├── Instances │ └── Deriving.lean │ ├── Linters.lean │ ├── Log.lean │ ├── Method.lean │ ├── Output.lean │ ├── Output │ ├── Html.lean │ ├── Html │ │ ├── AttributeName.lean │ │ ├── Comments.lean │ │ ├── CssVars.lean │ │ ├── ElasticLunr.lean │ │ ├── Entities.lean │ │ ├── KaTeX.lean │ │ ├── Tags.lean │ │ └── entities.json │ └── TeX.lean │ ├── Parser.lean │ ├── Parser │ └── Lean.lean │ ├── SyntaxUtils.lean │ └── WithoutAsync.lean ├── static-web ├── find.js ├── jsconfig.json ├── math.js ├── search │ ├── README.txt │ ├── fuzzysort.d.ts │ ├── fuzzysort.js │ ├── jsconfig.json │ ├── licenses.md │ ├── search-box.css │ ├── search-box.js │ ├── search-highlight.css │ ├── search-highlight.js │ ├── search-init.js │ ├── unicode-input-component.min.js │ └── unicode-input.min.js └── verso-vars.css ├── tag-subverso.sh ├── update-subverso.sh └── vendored-js ├── README ├── elasticlunr ├── elasticlunr.js └── elasticlunr.min.js ├── katex ├── README.md ├── contrib │ ├── auto-render.js │ ├── auto-render.min.js │ ├── auto-render.mjs │ ├── copy-tex.js │ ├── copy-tex.min.js │ ├── copy-tex.mjs │ ├── mathtex-script-type.js │ ├── mathtex-script-type.min.js │ ├── mathtex-script-type.mjs │ ├── mhchem.js │ ├── mhchem.min.js │ ├── mhchem.mjs │ ├── render-a11y-string.js │ ├── render-a11y-string.min.js │ └── render-a11y-string.mjs ├── fonts │ ├── KaTeX_AMS-Regular.ttf │ ├── KaTeX_AMS-Regular.woff │ ├── KaTeX_AMS-Regular.woff2 │ ├── KaTeX_Caligraphic-Bold.ttf │ ├── KaTeX_Caligraphic-Bold.woff │ ├── KaTeX_Caligraphic-Bold.woff2 │ ├── KaTeX_Caligraphic-Regular.ttf │ ├── KaTeX_Caligraphic-Regular.woff │ ├── KaTeX_Caligraphic-Regular.woff2 │ ├── KaTeX_Fraktur-Bold.ttf │ ├── KaTeX_Fraktur-Bold.woff │ ├── KaTeX_Fraktur-Bold.woff2 │ ├── KaTeX_Fraktur-Regular.ttf │ ├── KaTeX_Fraktur-Regular.woff │ ├── KaTeX_Fraktur-Regular.woff2 │ ├── KaTeX_Main-Bold.ttf │ ├── KaTeX_Main-Bold.woff │ ├── KaTeX_Main-Bold.woff2 │ ├── KaTeX_Main-BoldItalic.ttf │ ├── KaTeX_Main-BoldItalic.woff │ ├── KaTeX_Main-BoldItalic.woff2 │ ├── KaTeX_Main-Italic.ttf │ ├── KaTeX_Main-Italic.woff │ ├── KaTeX_Main-Italic.woff2 │ ├── KaTeX_Main-Regular.ttf │ ├── KaTeX_Main-Regular.woff │ ├── KaTeX_Main-Regular.woff2 │ ├── KaTeX_Math-BoldItalic.ttf │ ├── KaTeX_Math-BoldItalic.woff │ ├── KaTeX_Math-BoldItalic.woff2 │ ├── KaTeX_Math-Italic.ttf │ ├── KaTeX_Math-Italic.woff │ ├── KaTeX_Math-Italic.woff2 │ ├── KaTeX_SansSerif-Bold.ttf │ ├── KaTeX_SansSerif-Bold.woff │ ├── KaTeX_SansSerif-Bold.woff2 │ ├── KaTeX_SansSerif-Italic.ttf │ ├── KaTeX_SansSerif-Italic.woff │ ├── KaTeX_SansSerif-Italic.woff2 │ ├── KaTeX_SansSerif-Regular.ttf │ ├── KaTeX_SansSerif-Regular.woff │ ├── KaTeX_SansSerif-Regular.woff2 │ ├── KaTeX_Script-Regular.ttf │ ├── KaTeX_Script-Regular.woff │ ├── KaTeX_Script-Regular.woff2 │ ├── KaTeX_Size1-Regular.ttf │ ├── KaTeX_Size1-Regular.woff │ ├── KaTeX_Size1-Regular.woff2 │ ├── KaTeX_Size2-Regular.ttf │ ├── KaTeX_Size2-Regular.woff │ ├── KaTeX_Size2-Regular.woff2 │ ├── KaTeX_Size3-Regular.ttf │ ├── KaTeX_Size3-Regular.woff │ ├── KaTeX_Size3-Regular.woff2 │ ├── KaTeX_Size4-Regular.ttf │ ├── KaTeX_Size4-Regular.woff │ ├── KaTeX_Size4-Regular.woff2 │ ├── KaTeX_Typewriter-Regular.ttf │ ├── KaTeX_Typewriter-Regular.woff │ └── KaTeX_Typewriter-Regular.woff2 ├── katex.css ├── katex.js ├── katex.min.css ├── katex.min.js └── katex.mjs ├── popper ├── LICENSE.md ├── popper.min.js └── popper.min.js.map ├── tippy-bundle.umd.min.js └── tippy ├── LICENSE ├── README.md ├── animations ├── perspective-extreme.css ├── perspective-subtle.css ├── perspective.css ├── scale-extreme.css ├── scale-subtle.css ├── scale.css ├── shift-away-extreme.css ├── shift-away-subtle.css ├── shift-away.css ├── shift-toward-extreme.css ├── shift-toward-subtle.css └── shift-toward.css ├── backdrop.css ├── border.css ├── index.d.ts ├── svg-arrow.css ├── themes ├── light-border.css ├── light.css ├── material.css └── translucent.css ├── tippy-bundle.umd.js ├── tippy-bundle.umd.js.map.json ├── tippy-bundle.umd.min.js ├── tippy-bundle.umd.min.js.map.json ├── tippy.cjs.js ├── tippy.cjs.js.map.json ├── tippy.css ├── tippy.esm.js ├── tippy.umd.js ├── tippy.umd.js.map.json ├── tippy.umd.min.js └── tippy.umd.min.js.map.json /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/consistent-subverso-manifests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/.github/workflows/consistent-subverso-manifests.yml -------------------------------------------------------------------------------- /.github/workflows/copyright-header.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/.github/workflows/copyright-header.yml -------------------------------------------------------------------------------- /.github/workflows/merge-main-nightly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/.github/workflows/merge-main-nightly.yml -------------------------------------------------------------------------------- /.github/workflows/pull-request-toolchains.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/.github/workflows/pull-request-toolchains.yml -------------------------------------------------------------------------------- /.github/workflows/update-nightly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/.github/workflows/update-nightly.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/.gitignore -------------------------------------------------------------------------------- /.reference_manual_revision: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/.reference_manual_revision -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/LICENSE -------------------------------------------------------------------------------- /Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/Main.lean -------------------------------------------------------------------------------- /README-html.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/README-html.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/README.md -------------------------------------------------------------------------------- /UsersGuideMain.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/UsersGuideMain.lean -------------------------------------------------------------------------------- /browser-tests/conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/browser-tests/conftest.py -------------------------------------------------------------------------------- /browser-tests/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/browser-tests/pyproject.toml -------------------------------------------------------------------------------- /browser-tests/test_katex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/browser-tests/test_katex.py -------------------------------------------------------------------------------- /browser-tests/test_redirect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/browser-tests/test_redirect.py -------------------------------------------------------------------------------- /browser-tests/uv.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/browser-tests/uv.lock -------------------------------------------------------------------------------- /doc/UsersGuide.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/doc/UsersGuide.lean -------------------------------------------------------------------------------- /doc/UsersGuide/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/doc/UsersGuide/Basic.lean -------------------------------------------------------------------------------- /doc/UsersGuide/Elab.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/doc/UsersGuide/Elab.lean -------------------------------------------------------------------------------- /doc/UsersGuide/Extensions.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/doc/UsersGuide/Extensions.lean -------------------------------------------------------------------------------- /doc/UsersGuide/Manuals.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/doc/UsersGuide/Manuals.lean -------------------------------------------------------------------------------- /doc/UsersGuide/Markup.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/doc/UsersGuide/Markup.lean -------------------------------------------------------------------------------- /doc/UsersGuide/Output.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/doc/UsersGuide/Output.lean -------------------------------------------------------------------------------- /doc/UsersGuide/Websites.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/doc/UsersGuide/Websites.lean -------------------------------------------------------------------------------- /elan-init: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/elan-init -------------------------------------------------------------------------------- /examples/anchor-examples/.gitignore: -------------------------------------------------------------------------------- 1 | /.lake 2 | -------------------------------------------------------------------------------- /examples/anchor-examples/AnchorExamples.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/anchor-examples/AnchorExamples.lean -------------------------------------------------------------------------------- /examples/anchor-examples/AnchorExamples/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/anchor-examples/AnchorExamples/Basic.lean -------------------------------------------------------------------------------- /examples/anchor-examples/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/anchor-examples/lake-manifest.json -------------------------------------------------------------------------------- /examples/anchor-examples/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/anchor-examples/lakefile.lean -------------------------------------------------------------------------------- /examples/anchor-examples/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.21.0 2 | -------------------------------------------------------------------------------- /examples/custom-genre/SimplePage.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/custom-genre/SimplePage.lean -------------------------------------------------------------------------------- /examples/custom-genre/SimplePage/Demo.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/custom-genre/SimplePage/Demo.lean -------------------------------------------------------------------------------- /examples/custom-genre/SimplePageMain.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/custom-genre/SimplePageMain.lean -------------------------------------------------------------------------------- /examples/documented-package/Zippers.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/documented-package/Zippers.lean -------------------------------------------------------------------------------- /examples/documented-package/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/documented-package/lake-manifest.json -------------------------------------------------------------------------------- /examples/documented-package/lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/documented-package/lakefile.toml -------------------------------------------------------------------------------- /examples/documented-package/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:4.14.0 -------------------------------------------------------------------------------- /examples/package-manual/PackageManual.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/package-manual/PackageManual.lean -------------------------------------------------------------------------------- /examples/package-manual/PackageManual/DocFeatures.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/package-manual/PackageManual/DocFeatures.lean -------------------------------------------------------------------------------- /examples/package-manual/PackageManual/Papers.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/package-manual/PackageManual/Papers.lean -------------------------------------------------------------------------------- /examples/package-manual/PackageManualMain.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/package-manual/PackageManualMain.lean -------------------------------------------------------------------------------- /examples/package-manual/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/package-manual/README.md -------------------------------------------------------------------------------- /examples/textbook/DemoTextbook.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/textbook/DemoTextbook.lean -------------------------------------------------------------------------------- /examples/textbook/DemoTextbook/ListSet.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/textbook/DemoTextbook/ListSet.lean -------------------------------------------------------------------------------- /examples/textbook/DemoTextbook/Meta/Lean.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/textbook/DemoTextbook/Meta/Lean.lean -------------------------------------------------------------------------------- /examples/textbook/DemoTextbook/Nat.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/textbook/DemoTextbook/Nat.lean -------------------------------------------------------------------------------- /examples/textbook/DemoTextbook/Papers.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/textbook/DemoTextbook/Papers.lean -------------------------------------------------------------------------------- /examples/textbook/DemoTextbookMain.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/textbook/DemoTextbookMain.lean -------------------------------------------------------------------------------- /examples/textbook/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/textbook/README.md -------------------------------------------------------------------------------- /examples/website-examples/.gitignore: -------------------------------------------------------------------------------- 1 | /.lake 2 | -------------------------------------------------------------------------------- /examples/website-examples/Examples.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website-examples/Examples.lean -------------------------------------------------------------------------------- /examples/website-examples/Examples/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website-examples/Examples/Basic.lean -------------------------------------------------------------------------------- /examples/website-examples/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website-examples/lake-manifest.json -------------------------------------------------------------------------------- /examples/website-examples/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website-examples/lakefile.lean -------------------------------------------------------------------------------- /examples/website-examples/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.5.0 2 | -------------------------------------------------------------------------------- /examples/website-literate/LitLean.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website-literate/LitLean.lean -------------------------------------------------------------------------------- /examples/website-literate/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website-literate/lake-manifest.json -------------------------------------------------------------------------------- /examples/website-literate/lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website-literate/lakefile.toml -------------------------------------------------------------------------------- /examples/website-literate/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.19.0-rc2 -------------------------------------------------------------------------------- /examples/website/DemoSite.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite.lean -------------------------------------------------------------------------------- /examples/website/DemoSite/About.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite/About.lean -------------------------------------------------------------------------------- /examples/website/DemoSite/Blog.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite/Blog.lean -------------------------------------------------------------------------------- /examples/website/DemoSite/Blog/AnchorBased.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite/Blog/AnchorBased.lean -------------------------------------------------------------------------------- /examples/website/DemoSite/Blog/Conditionals.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite/Blog/Conditionals.lean -------------------------------------------------------------------------------- /examples/website/DemoSite/Blog/FirstPost.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite/Blog/FirstPost.lean -------------------------------------------------------------------------------- /examples/website/DemoSite/Blog/Subprojects.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite/Blog/Subprojects.lean -------------------------------------------------------------------------------- /examples/website/DemoSite/Categories.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite/Categories.lean -------------------------------------------------------------------------------- /examples/website/DemoSite/Front.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite/Front.lean -------------------------------------------------------------------------------- /examples/website/DemoSite/LiteratePage.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSite/LiteratePage.lean -------------------------------------------------------------------------------- /examples/website/DemoSiteMain.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/DemoSiteMain.lean -------------------------------------------------------------------------------- /examples/website/static_files/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/static_files/logo.png -------------------------------------------------------------------------------- /examples/website/static_files/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/examples/website/static_files/style.css -------------------------------------------------------------------------------- /generate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/generate.sh -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/index.html -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/lakefile.lean -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.26.0-rc2 2 | -------------------------------------------------------------------------------- /server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/server.py -------------------------------------------------------------------------------- /src/cli/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/cli/Main.lean -------------------------------------------------------------------------------- /src/multi-verso/MultiVerso.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/multi-verso/MultiVerso.lean -------------------------------------------------------------------------------- /src/multi-verso/MultiVerso/InternalId.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/multi-verso/MultiVerso/InternalId.lean -------------------------------------------------------------------------------- /src/multi-verso/MultiVerso/Link.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/multi-verso/MultiVerso/Link.lean -------------------------------------------------------------------------------- /src/multi-verso/MultiVerso/Manifest.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/multi-verso/MultiVerso/Manifest.lean -------------------------------------------------------------------------------- /src/multi-verso/MultiVerso/NameMap.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/multi-verso/MultiVerso/NameMap.lean -------------------------------------------------------------------------------- /src/multi-verso/MultiVerso/Path.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/multi-verso/MultiVerso/Path.lean -------------------------------------------------------------------------------- /src/multi-verso/MultiVerso/Slug.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/multi-verso/MultiVerso/Slug.lean -------------------------------------------------------------------------------- /src/tests/TestMain.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/TestMain.lean -------------------------------------------------------------------------------- /src/tests/Tests.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests.lean -------------------------------------------------------------------------------- /src/tests/Tests/Arbitrary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Arbitrary.lean -------------------------------------------------------------------------------- /src/tests/Tests/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Basic.lean -------------------------------------------------------------------------------- /src/tests/Tests/Elab.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Elab.lean -------------------------------------------------------------------------------- /src/tests/Tests/GenericCode.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/GenericCode.lean -------------------------------------------------------------------------------- /src/tests/Tests/Golden.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Golden.lean -------------------------------------------------------------------------------- /src/tests/Tests/HtmlEntities.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/HtmlEntities.lean -------------------------------------------------------------------------------- /src/tests/Tests/Integration.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Integration.lean -------------------------------------------------------------------------------- /src/tests/Tests/Integration/InheritanceDoc.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Integration/InheritanceDoc.lean -------------------------------------------------------------------------------- /src/tests/Tests/Integration/SampleDoc.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Integration/SampleDoc.lean -------------------------------------------------------------------------------- /src/tests/Tests/LeanCode.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/LeanCode.lean -------------------------------------------------------------------------------- /src/tests/Tests/ParserRegression.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/ParserRegression.lean -------------------------------------------------------------------------------- /src/tests/Tests/Paths.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Paths.lean -------------------------------------------------------------------------------- /src/tests/Tests/Refs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Refs.lean -------------------------------------------------------------------------------- /src/tests/Tests/Serialization.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Serialization.lean -------------------------------------------------------------------------------- /src/tests/Tests/TexUnit.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/TexUnit.lean -------------------------------------------------------------------------------- /src/tests/Tests/TexUtil.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/TexUtil.lean -------------------------------------------------------------------------------- /src/tests/Tests/VersoBlog.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/VersoBlog.lean -------------------------------------------------------------------------------- /src/tests/Tests/VersoManual.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/VersoManual.lean -------------------------------------------------------------------------------- /src/tests/Tests/VersoManual/Html.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/VersoManual/Html.lean -------------------------------------------------------------------------------- /src/tests/Tests/VersoManual/Html/SoftHyphenate.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/VersoManual/Html/SoftHyphenate.lean -------------------------------------------------------------------------------- /src/tests/Tests/VersoManual/Markdown.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/VersoManual/Markdown.lean -------------------------------------------------------------------------------- /src/tests/Tests/Z85.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Z85.lean -------------------------------------------------------------------------------- /src/tests/Tests/Zip.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/Tests/Zip.lean -------------------------------------------------------------------------------- /src/tests/integration/inheritance-doc/expected/tex/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/integration/inheritance-doc/expected/tex/main.tex -------------------------------------------------------------------------------- /src/tests/integration/sample-doc/expected/tex/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/integration/sample-doc/expected/tex/main.tex -------------------------------------------------------------------------------- /src/tests/stemmer/output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/stemmer/output.txt -------------------------------------------------------------------------------- /src/tests/stemmer/voc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/tests/stemmer/voc.txt -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/Basic.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/Component.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/Component.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/Component/Ext.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/Component/Ext.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/Generate.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/Generate.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/LexedText.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/LexedText.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/LiterateLeanPage.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/LiterateLeanPage.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/LiterateLeanPage/Options.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/LiterateLeanPage/Options.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/LiterateModuleDocs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/LiterateModuleDocs.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/Site.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/Site.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/Site/Syntax.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/Site/Syntax.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/Template.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/Template.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/Theme.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/Theme.lean -------------------------------------------------------------------------------- /src/verso-blog/VersoBlog/Traverse.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-blog/VersoBlog/Traverse.lean -------------------------------------------------------------------------------- /src/verso-html/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-html/Main.lean -------------------------------------------------------------------------------- /src/verso-html/code.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-html/code.css -------------------------------------------------------------------------------- /src/verso-literate/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-literate/Main.lean -------------------------------------------------------------------------------- /src/verso-literate/VersoLiterate.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-literate/VersoLiterate.lean -------------------------------------------------------------------------------- /src/verso-literate/VersoLiterate/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-literate/VersoLiterate/Basic.lean -------------------------------------------------------------------------------- /src/verso-literate/VersoLiterate/Exported.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-literate/VersoLiterate/Exported.lean -------------------------------------------------------------------------------- /src/verso-literate/VersoLiterate/Module.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-literate/VersoLiterate/Module.lean -------------------------------------------------------------------------------- /src/verso-literate/VersoLiterate/Search.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-literate/VersoLiterate/Search.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Basic.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Bibliography.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Bibliography.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Docstring.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Docstring.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Docstring/Config.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Docstring/Config.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Docstring/Progress.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Docstring/Progress.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Draft.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Draft.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Ext.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Ext.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/ExternalLean.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/ExternalLean.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Glossary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Glossary.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/HighlightedCode.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/HighlightedCode.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Html.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Html.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Html/Config.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Html/Config.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Html/CssFile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Html/CssFile.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Html/DataFile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Html/DataFile.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Html/Features.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Html/Features.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Html/JsFile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Html/JsFile.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Html/SoftHyphenate.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Html/SoftHyphenate.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Html/Style.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Html/Style.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Index.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Index.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean/Block.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean/Block.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean/IO.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean/IO.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean/IO/Context.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean/IO/Context.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean/LongLines.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean/LongLines.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean/Option.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean/Option.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean/Outputs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean/Outputs.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean/Scopes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean/Scopes.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean/Signature.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean/Signature.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/InlineLean/SyntaxError.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/InlineLean/SyntaxError.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/License.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/License.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/LicenseInfo.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/LicenseInfo.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/LicenseInfo/Licenses.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/LicenseInfo/Licenses.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Linters.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Linters.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Literate.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Literate.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/LocalContents.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/LocalContents.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Marginalia.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Marginalia.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Markdown.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Markdown.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/Table.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/Table.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/TeX.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/TeX.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/WebAssets.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/WebAssets.lean -------------------------------------------------------------------------------- /src/verso-manual/VersoManual/WordCount.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-manual/VersoManual/WordCount.lean -------------------------------------------------------------------------------- /src/verso-search/VersoSearch.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-search/VersoSearch.lean -------------------------------------------------------------------------------- /src/verso-search/VersoSearch/DomainSearch.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-search/VersoSearch/DomainSearch.lean -------------------------------------------------------------------------------- /src/verso-search/VersoSearch/PorterStemmer.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-search/VersoSearch/PorterStemmer.lean -------------------------------------------------------------------------------- /src/verso-util/VersoUtil.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-util/VersoUtil.lean -------------------------------------------------------------------------------- /src/verso-util/VersoUtil/BinFiles.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-util/VersoUtil/BinFiles.lean -------------------------------------------------------------------------------- /src/verso-util/VersoUtil/BinFiles/Z85.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso-util/VersoUtil/BinFiles/Z85.lean -------------------------------------------------------------------------------- /src/verso/Verso.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso.lean -------------------------------------------------------------------------------- /src/verso/Verso/BEq.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/BEq.lean -------------------------------------------------------------------------------- /src/verso/Verso/Code.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Code.lean -------------------------------------------------------------------------------- /src/verso/Verso/Code/External.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Code/External.lean -------------------------------------------------------------------------------- /src/verso/Verso/Code/External/Env.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Code/External/Env.lean -------------------------------------------------------------------------------- /src/verso/Verso/Code/External/Files.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Code/External/Files.lean -------------------------------------------------------------------------------- /src/verso/Verso/Code/Highlighted.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Code/Highlighted.lean -------------------------------------------------------------------------------- /src/verso/Verso/Code/Highlighted/WebAssets.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Code/Highlighted/WebAssets.lean -------------------------------------------------------------------------------- /src/verso/Verso/Code/HighlightedToTex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Code/HighlightedToTex.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/ArgParse.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/ArgParse.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Concrete.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Concrete.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Concrete/InlineString.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Concrete/InlineString.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/DocName.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/DocName.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Elab.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Elab.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Elab/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Elab/Basic.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Elab/Block.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Elab/Block.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Elab/ExpanderAttribute.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Elab/ExpanderAttribute.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Elab/Incremental.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Elab/Incremental.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Elab/Inline.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Elab/Inline.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Elab/InlineString.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Elab/InlineString.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Elab/Monad.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Elab/Monad.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Html.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Html.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Lsp.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Lsp.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Name.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Name.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/PointOfInterest.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/PointOfInterest.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/Suggestion.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/Suggestion.lean -------------------------------------------------------------------------------- /src/verso/Verso/Doc/TeX.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Doc/TeX.lean -------------------------------------------------------------------------------- /src/verso/Verso/ExpectString.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/ExpectString.lean -------------------------------------------------------------------------------- /src/verso/Verso/FS.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/FS.lean -------------------------------------------------------------------------------- /src/verso/Verso/Hint.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Hint.lean -------------------------------------------------------------------------------- /src/verso/Verso/Hover.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Hover.lean -------------------------------------------------------------------------------- /src/verso/Verso/Instances.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Instances.lean -------------------------------------------------------------------------------- /src/verso/Verso/Instances/Deriving.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Instances/Deriving.lean -------------------------------------------------------------------------------- /src/verso/Verso/Linters.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Linters.lean -------------------------------------------------------------------------------- /src/verso/Verso/Log.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Log.lean -------------------------------------------------------------------------------- /src/verso/Verso/Method.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Method.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output/Html.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/Html.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output/Html/AttributeName.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/Html/AttributeName.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output/Html/Comments.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/Html/Comments.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output/Html/CssVars.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/Html/CssVars.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output/Html/ElasticLunr.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/Html/ElasticLunr.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output/Html/Entities.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/Html/Entities.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output/Html/KaTeX.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/Html/KaTeX.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output/Html/Tags.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/Html/Tags.lean -------------------------------------------------------------------------------- /src/verso/Verso/Output/Html/entities.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/Html/entities.json -------------------------------------------------------------------------------- /src/verso/Verso/Output/TeX.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Output/TeX.lean -------------------------------------------------------------------------------- /src/verso/Verso/Parser.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Parser.lean -------------------------------------------------------------------------------- /src/verso/Verso/Parser/Lean.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/Parser/Lean.lean -------------------------------------------------------------------------------- /src/verso/Verso/SyntaxUtils.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/SyntaxUtils.lean -------------------------------------------------------------------------------- /src/verso/Verso/WithoutAsync.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/src/verso/Verso/WithoutAsync.lean -------------------------------------------------------------------------------- /static-web/find.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/find.js -------------------------------------------------------------------------------- /static-web/jsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/jsconfig.json -------------------------------------------------------------------------------- /static-web/math.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/math.js -------------------------------------------------------------------------------- /static-web/search/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/README.txt -------------------------------------------------------------------------------- /static-web/search/fuzzysort.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/fuzzysort.d.ts -------------------------------------------------------------------------------- /static-web/search/fuzzysort.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/fuzzysort.js -------------------------------------------------------------------------------- /static-web/search/jsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/jsconfig.json -------------------------------------------------------------------------------- /static-web/search/licenses.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/licenses.md -------------------------------------------------------------------------------- /static-web/search/search-box.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/search-box.css -------------------------------------------------------------------------------- /static-web/search/search-box.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/search-box.js -------------------------------------------------------------------------------- /static-web/search/search-highlight.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/search-highlight.css -------------------------------------------------------------------------------- /static-web/search/search-highlight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/search-highlight.js -------------------------------------------------------------------------------- /static-web/search/search-init.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/search-init.js -------------------------------------------------------------------------------- /static-web/search/unicode-input-component.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/unicode-input-component.min.js -------------------------------------------------------------------------------- /static-web/search/unicode-input.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/search/unicode-input.min.js -------------------------------------------------------------------------------- /static-web/verso-vars.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/static-web/verso-vars.css -------------------------------------------------------------------------------- /tag-subverso.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/tag-subverso.sh -------------------------------------------------------------------------------- /update-subverso.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/update-subverso.sh -------------------------------------------------------------------------------- /vendored-js/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/README -------------------------------------------------------------------------------- /vendored-js/elasticlunr/elasticlunr.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/elasticlunr/elasticlunr.js -------------------------------------------------------------------------------- /vendored-js/elasticlunr/elasticlunr.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/elasticlunr/elasticlunr.min.js -------------------------------------------------------------------------------- /vendored-js/katex/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/README.md -------------------------------------------------------------------------------- /vendored-js/katex/contrib/auto-render.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/auto-render.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/auto-render.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/auto-render.min.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/auto-render.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/auto-render.mjs -------------------------------------------------------------------------------- /vendored-js/katex/contrib/copy-tex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/copy-tex.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/copy-tex.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/copy-tex.min.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/copy-tex.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/copy-tex.mjs -------------------------------------------------------------------------------- /vendored-js/katex/contrib/mathtex-script-type.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/mathtex-script-type.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/mathtex-script-type.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/mathtex-script-type.min.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/mathtex-script-type.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/mathtex-script-type.mjs -------------------------------------------------------------------------------- /vendored-js/katex/contrib/mhchem.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/mhchem.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/mhchem.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/mhchem.min.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/mhchem.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/mhchem.mjs -------------------------------------------------------------------------------- /vendored-js/katex/contrib/render-a11y-string.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/render-a11y-string.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/render-a11y-string.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/render-a11y-string.min.js -------------------------------------------------------------------------------- /vendored-js/katex/contrib/render-a11y-string.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/contrib/render-a11y-string.mjs -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_AMS-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_AMS-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_AMS-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_AMS-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_AMS-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_AMS-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Caligraphic-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Caligraphic-Bold.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Caligraphic-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Caligraphic-Bold.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Caligraphic-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Caligraphic-Bold.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Caligraphic-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Caligraphic-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Caligraphic-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Caligraphic-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Caligraphic-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Caligraphic-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Fraktur-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Fraktur-Bold.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Fraktur-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Fraktur-Bold.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Fraktur-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Fraktur-Bold.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Fraktur-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Fraktur-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Fraktur-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Fraktur-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Fraktur-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Fraktur-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-Bold.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-Bold.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-Bold.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-BoldItalic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-BoldItalic.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-BoldItalic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-BoldItalic.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-BoldItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-BoldItalic.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-Italic.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-Italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-Italic.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-Italic.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Main-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Main-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Math-BoldItalic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Math-BoldItalic.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Math-BoldItalic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Math-BoldItalic.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Math-BoldItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Math-BoldItalic.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Math-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Math-Italic.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Math-Italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Math-Italic.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Math-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Math-Italic.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_SansSerif-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_SansSerif-Bold.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_SansSerif-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_SansSerif-Bold.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_SansSerif-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_SansSerif-Bold.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_SansSerif-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_SansSerif-Italic.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_SansSerif-Italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_SansSerif-Italic.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_SansSerif-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_SansSerif-Italic.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_SansSerif-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_SansSerif-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_SansSerif-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_SansSerif-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_SansSerif-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_SansSerif-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Script-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Script-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Script-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Script-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Script-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Script-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size1-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size1-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size1-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size1-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size1-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size1-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size2-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size2-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size2-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size2-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size2-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size2-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size3-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size3-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size3-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size3-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size3-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size3-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size4-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size4-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size4-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size4-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Size4-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Size4-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Typewriter-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Typewriter-Regular.ttf -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Typewriter-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Typewriter-Regular.woff -------------------------------------------------------------------------------- /vendored-js/katex/fonts/KaTeX_Typewriter-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/fonts/KaTeX_Typewriter-Regular.woff2 -------------------------------------------------------------------------------- /vendored-js/katex/katex.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/katex.css -------------------------------------------------------------------------------- /vendored-js/katex/katex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/katex.js -------------------------------------------------------------------------------- /vendored-js/katex/katex.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/katex.min.css -------------------------------------------------------------------------------- /vendored-js/katex/katex.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/katex.min.js -------------------------------------------------------------------------------- /vendored-js/katex/katex.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/katex/katex.mjs -------------------------------------------------------------------------------- /vendored-js/popper/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/popper/LICENSE.md -------------------------------------------------------------------------------- /vendored-js/popper/popper.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/popper/popper.min.js -------------------------------------------------------------------------------- /vendored-js/popper/popper.min.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/popper/popper.min.js.map -------------------------------------------------------------------------------- /vendored-js/tippy-bundle.umd.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy-bundle.umd.min.js -------------------------------------------------------------------------------- /vendored-js/tippy/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/LICENSE -------------------------------------------------------------------------------- /vendored-js/tippy/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/README.md -------------------------------------------------------------------------------- /vendored-js/tippy/animations/perspective-extreme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/perspective-extreme.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/perspective-subtle.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/perspective-subtle.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/perspective.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/perspective.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/scale-extreme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/scale-extreme.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/scale-subtle.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/scale-subtle.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/scale.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/scale.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/shift-away-extreme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/shift-away-extreme.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/shift-away-subtle.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/shift-away-subtle.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/shift-away.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/shift-away.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/shift-toward-extreme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/shift-toward-extreme.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/shift-toward-subtle.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/shift-toward-subtle.css -------------------------------------------------------------------------------- /vendored-js/tippy/animations/shift-toward.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/animations/shift-toward.css -------------------------------------------------------------------------------- /vendored-js/tippy/backdrop.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/backdrop.css -------------------------------------------------------------------------------- /vendored-js/tippy/border.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/border.css -------------------------------------------------------------------------------- /vendored-js/tippy/index.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/index.d.ts -------------------------------------------------------------------------------- /vendored-js/tippy/svg-arrow.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/svg-arrow.css -------------------------------------------------------------------------------- /vendored-js/tippy/themes/light-border.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/themes/light-border.css -------------------------------------------------------------------------------- /vendored-js/tippy/themes/light.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/themes/light.css -------------------------------------------------------------------------------- /vendored-js/tippy/themes/material.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/themes/material.css -------------------------------------------------------------------------------- /vendored-js/tippy/themes/translucent.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/themes/translucent.css -------------------------------------------------------------------------------- /vendored-js/tippy/tippy-bundle.umd.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy-bundle.umd.js -------------------------------------------------------------------------------- /vendored-js/tippy/tippy-bundle.umd.js.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy-bundle.umd.js.map.json -------------------------------------------------------------------------------- /vendored-js/tippy/tippy-bundle.umd.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy-bundle.umd.min.js -------------------------------------------------------------------------------- /vendored-js/tippy/tippy-bundle.umd.min.js.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy-bundle.umd.min.js.map.json -------------------------------------------------------------------------------- /vendored-js/tippy/tippy.cjs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy.cjs.js -------------------------------------------------------------------------------- /vendored-js/tippy/tippy.cjs.js.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy.cjs.js.map.json -------------------------------------------------------------------------------- /vendored-js/tippy/tippy.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy.css -------------------------------------------------------------------------------- /vendored-js/tippy/tippy.esm.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy.esm.js -------------------------------------------------------------------------------- /vendored-js/tippy/tippy.umd.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy.umd.js -------------------------------------------------------------------------------- /vendored-js/tippy/tippy.umd.js.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy.umd.js.map.json -------------------------------------------------------------------------------- /vendored-js/tippy/tippy.umd.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy.umd.min.js -------------------------------------------------------------------------------- /vendored-js/tippy/tippy.umd.min.js.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/verso/HEAD/vendored-js/tippy/tippy.umd.min.js.map.json --------------------------------------------------------------------------------