├── .envrc ├── .github ├── ISSUE_TEMPLATE │ ├── documentation-request.md │ ├── language-issue.md │ └── technical-mistake.md ├── PULL_REQUEST_TEMPLATE.md └── workflows │ ├── ci.yml │ ├── copyright-header.yml │ ├── discover-lean-pr-testing.yml │ ├── label-pr.yml │ ├── merge-main-nightly.yml │ ├── nightly-with-manual.yml │ ├── overlay.yml │ ├── pr-deploy.yml │ ├── pr-testing.yml │ ├── pr-title.yml │ ├── release-tag.yml │ ├── tag-nightly-testing.yml │ ├── too-big-imports.yml │ ├── update-nightly.yml │ └── upload-snapshots.yml ├── .gitignore ├── .linkchecker └── linkcheckerrc ├── .vale.ini ├── .vale ├── scripts │ ├── report.py │ └── rewrite_html.py └── styles │ ├── Lean │ ├── Capitalization.yml │ ├── EmDash.yml │ ├── Latin.yml │ ├── Names.yml │ ├── Spelling.yml │ ├── TechnicalTerms.yml │ ├── Titles.yml │ └── Typos.yml │ ├── config │ ├── ignore │ │ ├── names.txt │ │ └── terms.txt │ └── vocabularies │ │ └── Lean │ │ └── accept.txt │ └── proselint │ ├── Airlinese.yml │ ├── AnimalLabels.yml │ ├── Annotations.yml │ ├── Apologizing.yml │ ├── Archaisms.yml │ ├── But.yml │ ├── Cliches.yml │ ├── CorporateSpeak.yml │ ├── Currency.yml │ ├── Cursing.yml │ ├── DateCase.yml │ ├── DateMidnight.yml │ ├── DateRedundancy.yml │ ├── DateSpacing.yml │ ├── DenizenLabels.yml │ ├── Diacritical.yml │ ├── GenderBias.yml │ ├── GroupTerms.yml │ ├── Hedging.yml │ ├── Hyperbole.yml │ ├── Jargon.yml │ ├── LGBTOffensive.yml │ ├── LGBTTerms.yml │ ├── Malapropisms.yml │ ├── Needless.yml │ ├── Nonwords.yml │ ├── Oxymorons.yml │ ├── P-Value.yml │ ├── RASSyndrome.yml │ ├── README.md │ ├── Skunked.yml │ ├── Spelling.yml │ ├── Typography.yml │ ├── Uncomparables.yml │ ├── Very.yml │ └── meta.json ├── CONTRIBUTING.md ├── ExtractExplanationExamples.lean ├── LICENSE ├── Main.lean ├── Manual.lean ├── Manual ├── Attributes.lean ├── Axioms.lean ├── BasicProps.lean ├── BasicTypes.lean ├── BasicTypes │ ├── Array.lean │ ├── Array │ │ ├── FFI.lean │ │ └── Subarray.lean │ ├── BitVec.lean │ ├── ByteArray.lean │ ├── Char.lean │ ├── Empty.lean │ ├── Fin.lean │ ├── Float.lean │ ├── Int.lean │ ├── List.lean │ ├── List │ │ ├── Comparisons.lean │ │ ├── Modification.lean │ │ ├── Partitioning.lean │ │ ├── Predicates.lean │ │ └── Transformation.lean │ ├── Maps.lean │ ├── Maps │ │ ├── TreeMap.lean │ │ └── TreeSet.lean │ ├── Nat.lean │ ├── Option.lean │ ├── Products.lean │ ├── Range.lean │ ├── String.lean │ ├── String │ │ ├── FFI.lean │ │ ├── Literals.lean │ │ ├── Logical.lean │ │ ├── RawPos.lean │ │ ├── Slice.lean │ │ ├── Substrings.lean │ │ └── ValidPos.lean │ ├── Subtype.lean │ ├── Sum.lean │ ├── Thunk.lean │ ├── UInt.lean │ └── UInt │ │ ├── Arith.lean │ │ └── Comparisons.lean ├── BuildTools.lean ├── BuildTools │ ├── Elan.lean │ ├── Lake.lean │ └── Lake │ │ ├── CLI.lean │ │ └── Config.lean ├── Classes.lean ├── Classes │ ├── BasicClasses.lean │ ├── DerivingHandlers.lean │ ├── InstanceDecls.lean │ └── InstanceSynth.lean ├── Coercions.lean ├── Defs.lean ├── Elaboration.lean ├── ErrorExplanations.lean ├── ExtractExamples.lean ├── Grind.lean ├── Grind │ ├── Algebra.lean │ ├── CaseAnalysis.lean │ ├── CongrClosure.lean │ ├── ConstraintPropagation.lean │ ├── Cutsat.lean │ ├── EMatching.lean │ ├── ExtendedExamples.lean │ ├── ExtendedExamples │ │ ├── IfElseNorm.lean │ │ ├── IndexMap.lean │ │ └── Integration.lean │ └── Linarith.lean ├── IO.lean ├── IO │ ├── Console.lean │ ├── Files.lean │ ├── Ref.lean │ └── Threads.lean ├── Interaction.lean ├── Interaction │ └── FormatRepr.lean ├── Intro.lean ├── Iterators.lean ├── Language │ ├── Functions.lean │ ├── InductiveTypes.lean │ ├── InductiveTypes │ │ ├── LogicalModel.lean │ │ ├── Nested.lean │ │ └── Structures.lean │ └── Namespaces.lean ├── Meta.lean ├── Meta │ ├── Attribute.lean │ ├── Basic.lean │ ├── CheckMessages.lean │ ├── CustomStyle.lean │ ├── ElanCheck.lean │ ├── ElanCmd.lean │ ├── ElanOpt.lean │ ├── Env.lean │ ├── ErrorExplanation.lean │ ├── Example.lean │ ├── ExpectString.lean │ ├── Figure.lean │ ├── Imports.lean │ ├── Instances.lean │ ├── LakeCheck.lean │ ├── LakeCmd.lean │ ├── LakeOpt.lean │ ├── LakeToml.lean │ ├── LakeToml │ │ ├── Test.lean │ │ └── Toml.lean │ ├── Lean.lean │ ├── LexedText.lean │ ├── LzCompress.lean │ ├── Markdown.lean │ ├── ModuleExample.lean │ ├── Monotonicity.lean │ ├── Namespace.lean │ ├── PPrint.lean │ ├── ParserAlias.lean │ ├── SpliceContents.lean │ ├── Syntax.lean │ └── Tactics.lean ├── Monads.lean ├── Monads │ ├── API.lean │ ├── Laws.lean │ ├── Lift.lean │ ├── Syntax.lean │ ├── Zoo.lean │ └── Zoo │ │ ├── Combined.lean │ │ ├── Except.lean │ │ ├── Id.lean │ │ ├── Option.lean │ │ ├── Reader.lean │ │ └── State.lean ├── Namespaces.lean ├── NotationsMacros.lean ├── NotationsMacros │ ├── Delab.lean │ ├── Elab.lean │ ├── Notations.lean │ ├── Operators.lean │ ├── Precedence.lean │ └── SyntaxDef.lean ├── Papers.lean ├── Quotients.lean ├── RecursiveDefs.lean ├── RecursiveDefs │ ├── PartialFixpoint.lean │ ├── PartialFixpoint │ │ └── Theory.lean │ ├── Structural.lean │ ├── Structural │ │ ├── CourseOfValuesExample.lean │ │ └── RecursorExample.lean │ ├── WF.lean │ └── WF │ │ ├── GuessLexExample.lean │ │ └── PreprocessExample.lean ├── Releases.lean ├── Releases │ ├── v4_0_0-m1.lean │ ├── v4_0_0-m2.lean │ ├── v4_0_0-m3.lean │ ├── v4_0_0-m4.lean │ ├── v4_0_0-m5.lean │ ├── v4_0_0.lean │ ├── v4_10_0.lean │ ├── v4_11_0.lean │ ├── v4_12_0.lean │ ├── v4_13_0.lean │ ├── v4_14_0.lean │ ├── v4_15_0.lean │ ├── v4_16_0.lean │ ├── v4_17_0.lean │ ├── v4_18_0.lean │ ├── v4_19_0.lean │ ├── v4_1_0.lean │ ├── v4_20_0.lean │ ├── v4_20_1.lean │ ├── v4_21_0.lean │ ├── v4_22_0.lean │ ├── v4_23_0.lean │ ├── v4_24_0.lean │ ├── v4_25_0.lean │ ├── v4_25_1.lean │ ├── v4_26_0.lean │ ├── v4_2_0.lean │ ├── v4_3_0.lean │ ├── v4_4_0.lean │ ├── v4_5_0.lean │ ├── v4_6_0.lean │ ├── v4_7_0.lean │ ├── v4_8_0.lean │ └── v4_9_0.lean ├── Runtime.lean ├── Simp.lean ├── SourceFiles.lean ├── SupportedPlatforms.lean ├── Tactics.lean ├── Tactics │ ├── Conv.lean │ ├── Custom.lean │ ├── Reference.lean │ └── Reference │ │ └── Simp.lean ├── Terms.lean ├── Types.lean └── VCGen.lean ├── README.md ├── deploy ├── build.sh ├── generate.sh ├── overlay.py ├── prep.sh ├── release.py └── release_utils.py ├── elan-init ├── extended-examples ├── IndexMap.lean ├── IndexMapGrind.lean └── IndexMapGrind │ └── CheckMsgs.lean ├── figures.sh ├── figures ├── array.tex ├── coe-chain.tex ├── lake-workspace.tex ├── pipeline-overview.tex ├── string.tex └── thunk.tex ├── flake.lock ├── flake.nix ├── lake-manifest.json ├── lakefile.lean ├── lean-toolchain ├── scripts ├── check-examples-isolated.sh ├── lean-pr-testing-comments.sh └── merge-lean-testing-pr.sh ├── server.py ├── static ├── README.txt ├── colors.css ├── fonts │ ├── noto-sans-mono │ │ ├── NotoSansMono-VariableFont_wdth,wght.ttf │ │ ├── OFL.txt │ │ └── noto-sans-mono.css │ ├── source-code-pro │ │ ├── LICENSE.md │ │ ├── OTF │ │ │ ├── SourceCodePro-Black.otf │ │ │ ├── SourceCodePro-BlackIt.otf │ │ │ ├── SourceCodePro-Bold.otf │ │ │ ├── SourceCodePro-BoldIt.otf │ │ │ ├── SourceCodePro-ExtraLight.otf │ │ │ ├── SourceCodePro-ExtraLightIt.otf │ │ │ ├── SourceCodePro-It.otf │ │ │ ├── SourceCodePro-Light.otf │ │ │ ├── SourceCodePro-LightIt.otf │ │ │ ├── SourceCodePro-Medium.otf │ │ │ ├── SourceCodePro-MediumIt.otf │ │ │ ├── SourceCodePro-Regular.otf │ │ │ ├── SourceCodePro-Semibold.otf │ │ │ └── SourceCodePro-SemiboldIt.otf │ │ ├── TTF │ │ │ ├── SourceCodePro-Black.ttf │ │ │ ├── SourceCodePro-BlackIt.ttf │ │ │ ├── SourceCodePro-Bold.ttf │ │ │ ├── SourceCodePro-BoldIt.ttf │ │ │ ├── SourceCodePro-ExtraLight.ttf │ │ │ ├── SourceCodePro-ExtraLightIt.ttf │ │ │ ├── SourceCodePro-It.ttf │ │ │ ├── SourceCodePro-Light.ttf │ │ │ ├── SourceCodePro-LightIt.ttf │ │ │ ├── SourceCodePro-Medium.ttf │ │ │ ├── SourceCodePro-MediumIt.ttf │ │ │ ├── SourceCodePro-Regular.ttf │ │ │ ├── SourceCodePro-Semibold.ttf │ │ │ └── SourceCodePro-SemiboldIt.ttf │ │ ├── WOFF │ │ │ ├── OTF │ │ │ │ ├── SourceCodePro-Black.otf.woff │ │ │ │ ├── SourceCodePro-BlackIt.otf.woff │ │ │ │ ├── SourceCodePro-Bold.otf.woff │ │ │ │ ├── SourceCodePro-BoldIt.otf.woff │ │ │ │ ├── SourceCodePro-ExtraLight.otf.woff │ │ │ │ ├── SourceCodePro-ExtraLightIt.otf.woff │ │ │ │ ├── SourceCodePro-It.otf.woff │ │ │ │ ├── SourceCodePro-Light.otf.woff │ │ │ │ ├── SourceCodePro-LightIt.otf.woff │ │ │ │ ├── SourceCodePro-Medium.otf.woff │ │ │ │ ├── SourceCodePro-MediumIt.otf.woff │ │ │ │ ├── SourceCodePro-Regular.otf.woff │ │ │ │ ├── SourceCodePro-Semibold.otf.woff │ │ │ │ └── SourceCodePro-SemiboldIt.otf.woff │ │ │ └── TTF │ │ │ │ ├── SourceCodePro-Black.ttf.woff │ │ │ │ ├── SourceCodePro-BlackIt.ttf.woff │ │ │ │ ├── SourceCodePro-Bold.ttf.woff │ │ │ │ ├── SourceCodePro-BoldIt.ttf.woff │ │ │ │ ├── SourceCodePro-ExtraLight.ttf.woff │ │ │ │ ├── SourceCodePro-ExtraLightIt.ttf.woff │ │ │ │ ├── SourceCodePro-It.ttf.woff │ │ │ │ ├── SourceCodePro-Light.ttf.woff │ │ │ │ ├── SourceCodePro-LightIt.ttf.woff │ │ │ │ ├── SourceCodePro-Medium.ttf.woff │ │ │ │ ├── SourceCodePro-MediumIt.ttf.woff │ │ │ │ ├── SourceCodePro-Regular.ttf.woff │ │ │ │ ├── SourceCodePro-Semibold.ttf.woff │ │ │ │ └── SourceCodePro-SemiboldIt.ttf.woff │ │ ├── WOFF2 │ │ │ ├── OTF │ │ │ │ ├── SourceCodePro-Black.otf.woff2 │ │ │ │ ├── SourceCodePro-BlackIt.otf.woff2 │ │ │ │ ├── SourceCodePro-Bold.otf.woff2 │ │ │ │ ├── SourceCodePro-BoldIt.otf.woff2 │ │ │ │ ├── SourceCodePro-ExtraLight.otf.woff2 │ │ │ │ ├── SourceCodePro-ExtraLightIt.otf.woff2 │ │ │ │ ├── SourceCodePro-It.otf.woff2 │ │ │ │ ├── SourceCodePro-Light.otf.woff2 │ │ │ │ ├── SourceCodePro-LightIt.otf.woff2 │ │ │ │ ├── SourceCodePro-Medium.otf.woff2 │ │ │ │ ├── SourceCodePro-MediumIt.otf.woff2 │ │ │ │ ├── SourceCodePro-Regular.otf.woff2 │ │ │ │ ├── SourceCodePro-Semibold.otf.woff2 │ │ │ │ ├── SourceCodePro-SemiboldIt.otf.woff2 │ │ │ │ ├── SourceCodeVF-Italic.otf.woff2 │ │ │ │ └── SourceCodeVF-Upright.otf.woff2 │ │ │ └── TTF │ │ │ │ ├── SourceCodePro-Black.ttf.woff2 │ │ │ │ ├── SourceCodePro-BlackIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-Bold.ttf.woff2 │ │ │ │ ├── SourceCodePro-BoldIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-ExtraLight.ttf.woff2 │ │ │ │ ├── SourceCodePro-ExtraLightIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-It.ttf.woff2 │ │ │ │ ├── SourceCodePro-Light.ttf.woff2 │ │ │ │ ├── SourceCodePro-LightIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-Medium.ttf.woff2 │ │ │ │ ├── SourceCodePro-MediumIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-Regular.ttf.woff2 │ │ │ │ ├── SourceCodePro-Semibold.ttf.woff2 │ │ │ │ ├── SourceCodePro-SemiboldIt.ttf.woff2 │ │ │ │ ├── SourceCodeVF-Italic.ttf.woff2 │ │ │ │ └── SourceCodeVF-Upright.ttf.woff2 │ │ └── source-code-pro.css │ ├── source-sans │ │ ├── LICENSE.md │ │ ├── OTF │ │ │ ├── SourceSans3-Black.otf │ │ │ ├── SourceSans3-BlackIt.otf │ │ │ ├── SourceSans3-Bold.otf │ │ │ ├── SourceSans3-BoldIt.otf │ │ │ ├── SourceSans3-ExtraLight.otf │ │ │ ├── SourceSans3-ExtraLightIt.otf │ │ │ ├── SourceSans3-It.otf │ │ │ ├── SourceSans3-Light.otf │ │ │ ├── SourceSans3-LightIt.otf │ │ │ ├── SourceSans3-Medium.otf │ │ │ ├── SourceSans3-MediumIt.otf │ │ │ ├── SourceSans3-Regular.otf │ │ │ ├── SourceSans3-Semibold.otf │ │ │ └── SourceSans3-SemiboldIt.otf │ │ ├── TTF │ │ │ ├── SourceSans3-Black.ttf │ │ │ ├── SourceSans3-BlackIt.ttf │ │ │ ├── SourceSans3-Bold.ttf │ │ │ ├── SourceSans3-BoldIt.ttf │ │ │ ├── SourceSans3-ExtraLight.ttf │ │ │ ├── SourceSans3-ExtraLightIt.ttf │ │ │ ├── SourceSans3-It.ttf │ │ │ ├── SourceSans3-Light.ttf │ │ │ ├── SourceSans3-LightIt.ttf │ │ │ ├── SourceSans3-Medium.ttf │ │ │ ├── SourceSans3-MediumIt.ttf │ │ │ ├── SourceSans3-Regular.ttf │ │ │ ├── SourceSans3-Semibold.ttf │ │ │ └── SourceSans3-SemiboldIt.ttf │ │ ├── VF │ │ │ ├── SourceSans3VF-Italic.otf │ │ │ ├── SourceSans3VF-Italic.ttf │ │ │ ├── SourceSans3VF-Upright.otf │ │ │ └── SourceSans3VF-Upright.ttf │ │ ├── WOFF │ │ │ ├── OTF │ │ │ │ ├── SourceSans3-Black.otf.woff │ │ │ │ ├── SourceSans3-BlackIt.otf.woff │ │ │ │ ├── SourceSans3-Bold.otf.woff │ │ │ │ ├── SourceSans3-BoldIt.otf.woff │ │ │ │ ├── SourceSans3-ExtraLight.otf.woff │ │ │ │ ├── SourceSans3-ExtraLightIt.otf.woff │ │ │ │ ├── SourceSans3-It.otf.woff │ │ │ │ ├── SourceSans3-Light.otf.woff │ │ │ │ ├── SourceSans3-LightIt.otf.woff │ │ │ │ ├── SourceSans3-Medium.otf.woff │ │ │ │ ├── SourceSans3-MediumIt.otf.woff │ │ │ │ ├── SourceSans3-Regular.otf.woff │ │ │ │ ├── SourceSans3-Semibold.otf.woff │ │ │ │ └── SourceSans3-SemiboldIt.otf.woff │ │ │ ├── TTF │ │ │ │ ├── SourceSans3-Black.ttf.woff │ │ │ │ ├── SourceSans3-BlackIt.ttf.woff │ │ │ │ ├── SourceSans3-Bold.ttf.woff │ │ │ │ ├── SourceSans3-BoldIt.ttf.woff │ │ │ │ ├── SourceSans3-ExtraLight.ttf.woff │ │ │ │ ├── SourceSans3-ExtraLightIt.ttf.woff │ │ │ │ ├── SourceSans3-It.ttf.woff │ │ │ │ ├── SourceSans3-Light.ttf.woff │ │ │ │ ├── SourceSans3-LightIt.ttf.woff │ │ │ │ ├── SourceSans3-Medium.ttf.woff │ │ │ │ ├── SourceSans3-MediumIt.ttf.woff │ │ │ │ ├── SourceSans3-Regular.ttf.woff │ │ │ │ ├── SourceSans3-Semibold.ttf.woff │ │ │ │ └── SourceSans3-SemiboldIt.ttf.woff │ │ │ └── VF │ │ │ │ ├── SourceSans3VF-Italic.otf.woff │ │ │ │ ├── SourceSans3VF-Italic.ttf.woff │ │ │ │ ├── SourceSans3VF-Upright.otf.woff │ │ │ │ └── SourceSans3VF-Upright.ttf.woff │ │ ├── WOFF2 │ │ │ ├── OTF │ │ │ │ ├── SourceSans3-Black.otf.woff2 │ │ │ │ ├── SourceSans3-BlackIt.otf.woff2 │ │ │ │ ├── SourceSans3-Bold.otf.woff2 │ │ │ │ ├── SourceSans3-BoldIt.otf.woff2 │ │ │ │ ├── SourceSans3-ExtraLight.otf.woff2 │ │ │ │ ├── SourceSans3-ExtraLightIt.otf.woff2 │ │ │ │ ├── SourceSans3-It.otf.woff2 │ │ │ │ ├── SourceSans3-Light.otf.woff2 │ │ │ │ ├── SourceSans3-LightIt.otf.woff2 │ │ │ │ ├── SourceSans3-Medium.otf.woff2 │ │ │ │ ├── SourceSans3-MediumIt.otf.woff2 │ │ │ │ ├── SourceSans3-Regular.otf.woff2 │ │ │ │ ├── SourceSans3-Semibold.otf.woff2 │ │ │ │ └── SourceSans3-SemiboldIt.otf.woff2 │ │ │ ├── TTF │ │ │ │ ├── SourceSans3-Black.ttf.woff2 │ │ │ │ ├── SourceSans3-BlackIt.ttf.woff2 │ │ │ │ ├── SourceSans3-Bold.ttf.woff2 │ │ │ │ ├── SourceSans3-BoldIt.ttf.woff2 │ │ │ │ ├── SourceSans3-ExtraLight.ttf.woff2 │ │ │ │ ├── SourceSans3-ExtraLightIt.ttf.woff2 │ │ │ │ ├── SourceSans3-It.ttf.woff2 │ │ │ │ ├── SourceSans3-Light.ttf.woff2 │ │ │ │ ├── SourceSans3-LightIt.ttf.woff2 │ │ │ │ ├── SourceSans3-Medium.ttf.woff2 │ │ │ │ ├── SourceSans3-MediumIt.ttf.woff2 │ │ │ │ ├── SourceSans3-Regular.ttf.woff2 │ │ │ │ ├── SourceSans3-Semibold.ttf.woff2 │ │ │ │ └── SourceSans3-SemiboldIt.ttf.woff2 │ │ │ └── VF │ │ │ │ ├── SourceSans3VF-Italic.otf.woff2 │ │ │ │ ├── SourceSans3VF-Italic.ttf.woff2 │ │ │ │ ├── SourceSans3VF-Upright.otf.woff2 │ │ │ │ └── SourceSans3VF-Upright.ttf.woff2 │ │ ├── source-sans-3.css │ │ └── source-sans-3VF.css │ └── source-serif │ │ ├── LICENSE.md │ │ ├── OTF │ │ ├── SourceSerif4-Black.otf │ │ ├── SourceSerif4-BlackIt.otf │ │ ├── SourceSerif4-Bold.otf │ │ ├── SourceSerif4-BoldIt.otf │ │ ├── SourceSerif4-ExtraLight.otf │ │ ├── SourceSerif4-ExtraLightIt.otf │ │ ├── SourceSerif4-It.otf │ │ ├── SourceSerif4-Light.otf │ │ ├── SourceSerif4-LightIt.otf │ │ ├── SourceSerif4-Regular.otf │ │ ├── SourceSerif4-Semibold.otf │ │ └── SourceSerif4-SemiboldIt.otf │ │ ├── TTF │ │ ├── SourceSerif4-Black.ttf │ │ ├── SourceSerif4-BlackIt.ttf │ │ ├── SourceSerif4-Bold.ttf │ │ ├── SourceSerif4-BoldIt.ttf │ │ ├── SourceSerif4-ExtraLight.ttf │ │ ├── SourceSerif4-ExtraLightIt.ttf │ │ ├── SourceSerif4-It.ttf │ │ ├── SourceSerif4-Light.ttf │ │ ├── SourceSerif4-LightIt.ttf │ │ ├── SourceSerif4-Regular.ttf │ │ ├── SourceSerif4-Semibold.ttf │ │ └── SourceSerif4-SemiboldIt.ttf │ │ ├── WOFF │ │ ├── OTF │ │ │ ├── SourceSerif4-Black.otf.woff │ │ │ ├── SourceSerif4-BlackIt.otf.woff │ │ │ ├── SourceSerif4-Bold.otf.woff │ │ │ ├── SourceSerif4-BoldIt.otf.woff │ │ │ ├── SourceSerif4-ExtraLight.otf.woff │ │ │ ├── SourceSerif4-ExtraLightIt.otf.woff │ │ │ ├── SourceSerif4-It.otf.woff │ │ │ ├── SourceSerif4-Light.otf.woff │ │ │ ├── SourceSerif4-LightIt.otf.woff │ │ │ ├── SourceSerif4-Regular.otf.woff │ │ │ ├── SourceSerif4-Semibold.otf.woff │ │ │ └── SourceSerif4-SemiboldIt.otf.woff │ │ └── TTF │ │ │ ├── SourceSerif4-Black.ttf.woff │ │ │ ├── SourceSerif4-BlackIt.ttf.woff │ │ │ ├── SourceSerif4-Bold.ttf.woff │ │ │ ├── SourceSerif4-BoldIt.ttf.woff │ │ │ ├── SourceSerif4-ExtraLight.ttf.woff │ │ │ ├── SourceSerif4-ExtraLightIt.ttf.woff │ │ │ ├── SourceSerif4-It.ttf.woff │ │ │ ├── SourceSerif4-Light.ttf.woff │ │ │ ├── SourceSerif4-LightIt.ttf.woff │ │ │ ├── SourceSerif4-Regular.ttf.woff │ │ │ ├── SourceSerif4-Semibold.ttf.woff │ │ │ └── SourceSerif4-SemiboldIt.ttf.woff │ │ ├── WOFF2 │ │ ├── OTF │ │ │ ├── SourceSerif4-Black.otf.woff2 │ │ │ ├── SourceSerif4-BlackIt.otf.woff2 │ │ │ ├── SourceSerif4-Bold.otf.woff2 │ │ │ ├── SourceSerif4-BoldIt.otf.woff2 │ │ │ ├── SourceSerif4-ExtraLight.otf.woff2 │ │ │ ├── SourceSerif4-ExtraLightIt.otf.woff2 │ │ │ ├── SourceSerif4-It.otf.woff2 │ │ │ ├── SourceSerif4-Light.otf.woff2 │ │ │ ├── SourceSerif4-LightIt.otf.woff2 │ │ │ ├── SourceSerif4-Regular.otf.woff2 │ │ │ ├── SourceSerif4-Semibold.otf.woff2 │ │ │ └── SourceSerif4-SemiboldIt.otf.woff2 │ │ └── TTF │ │ │ ├── SourceSerif4-Black.ttf.woff2 │ │ │ ├── SourceSerif4-BlackIt.ttf.woff2 │ │ │ ├── SourceSerif4-Bold.ttf.woff2 │ │ │ ├── SourceSerif4-BoldIt.ttf.woff2 │ │ │ ├── SourceSerif4-ExtraLight.ttf.woff2 │ │ │ ├── SourceSerif4-ExtraLightIt.ttf.woff2 │ │ │ ├── SourceSerif4-It.ttf.woff2 │ │ │ ├── SourceSerif4-Light.ttf.woff2 │ │ │ ├── SourceSerif4-LightIt.ttf.woff2 │ │ │ ├── SourceSerif4-Regular.ttf.woff2 │ │ │ ├── SourceSerif4-Semibold.ttf.woff2 │ │ │ └── SourceSerif4-SemiboldIt.ttf.woff2 │ │ └── source-serif-text.css ├── lean_logo.svg ├── metadata.js ├── print.css ├── print.js ├── screenshots │ ├── do-return-hl-1.png │ └── do-return-hl-2.png └── theme.css └── test.txt /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/documentation-request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/ISSUE_TEMPLATE/documentation-request.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/language-issue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/ISSUE_TEMPLATE/language-issue.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/technical-mistake.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/ISSUE_TEMPLATE/technical-mistake.md -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/copyright-header.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/copyright-header.yml -------------------------------------------------------------------------------- /.github/workflows/discover-lean-pr-testing.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/discover-lean-pr-testing.yml -------------------------------------------------------------------------------- /.github/workflows/label-pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/label-pr.yml -------------------------------------------------------------------------------- /.github/workflows/merge-main-nightly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/merge-main-nightly.yml -------------------------------------------------------------------------------- /.github/workflows/nightly-with-manual.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/nightly-with-manual.yml -------------------------------------------------------------------------------- /.github/workflows/overlay.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/overlay.yml -------------------------------------------------------------------------------- /.github/workflows/pr-deploy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/pr-deploy.yml -------------------------------------------------------------------------------- /.github/workflows/pr-testing.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/pr-testing.yml -------------------------------------------------------------------------------- /.github/workflows/pr-title.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/pr-title.yml -------------------------------------------------------------------------------- /.github/workflows/release-tag.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/release-tag.yml -------------------------------------------------------------------------------- /.github/workflows/tag-nightly-testing.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/tag-nightly-testing.yml -------------------------------------------------------------------------------- /.github/workflows/too-big-imports.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/too-big-imports.yml -------------------------------------------------------------------------------- /.github/workflows/update-nightly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/update-nightly.yml -------------------------------------------------------------------------------- /.github/workflows/upload-snapshots.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.github/workflows/upload-snapshots.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.gitignore -------------------------------------------------------------------------------- /.linkchecker/linkcheckerrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.linkchecker/linkcheckerrc -------------------------------------------------------------------------------- /.vale.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale.ini -------------------------------------------------------------------------------- /.vale/scripts/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/scripts/report.py -------------------------------------------------------------------------------- /.vale/scripts/rewrite_html.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/scripts/rewrite_html.py -------------------------------------------------------------------------------- /.vale/styles/Lean/Capitalization.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/Lean/Capitalization.yml -------------------------------------------------------------------------------- /.vale/styles/Lean/EmDash.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/Lean/EmDash.yml -------------------------------------------------------------------------------- /.vale/styles/Lean/Latin.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/Lean/Latin.yml -------------------------------------------------------------------------------- /.vale/styles/Lean/Names.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/Lean/Names.yml -------------------------------------------------------------------------------- /.vale/styles/Lean/Spelling.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/Lean/Spelling.yml -------------------------------------------------------------------------------- /.vale/styles/Lean/TechnicalTerms.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/Lean/TechnicalTerms.yml -------------------------------------------------------------------------------- /.vale/styles/Lean/Titles.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/Lean/Titles.yml -------------------------------------------------------------------------------- /.vale/styles/Lean/Typos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/Lean/Typos.yml -------------------------------------------------------------------------------- /.vale/styles/config/ignore/names.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/config/ignore/names.txt -------------------------------------------------------------------------------- /.vale/styles/config/ignore/terms.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/config/ignore/terms.txt -------------------------------------------------------------------------------- /.vale/styles/config/vocabularies/Lean/accept.txt: -------------------------------------------------------------------------------- 1 | [Ee]xtensible 2 | [Dd]iscriminant 3 | [Aa]pplicative 4 | -------------------------------------------------------------------------------- /.vale/styles/proselint/Airlinese.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Airlinese.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/AnimalLabels.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/AnimalLabels.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Annotations.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Annotations.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Apologizing.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Apologizing.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Archaisms.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Archaisms.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/But.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/But.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Cliches.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Cliches.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/CorporateSpeak.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/CorporateSpeak.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Currency.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Currency.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Cursing.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Cursing.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/DateCase.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/DateCase.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/DateMidnight.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/DateMidnight.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/DateRedundancy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/DateRedundancy.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/DateSpacing.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/DateSpacing.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/DenizenLabels.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/DenizenLabels.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Diacritical.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Diacritical.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/GenderBias.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/GenderBias.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/GroupTerms.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/GroupTerms.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Hedging.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Hedging.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Hyperbole.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Hyperbole.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Jargon.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Jargon.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/LGBTOffensive.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/LGBTOffensive.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/LGBTTerms.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/LGBTTerms.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Malapropisms.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Malapropisms.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Needless.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Needless.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Nonwords.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Nonwords.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Oxymorons.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Oxymorons.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/P-Value.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/P-Value.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/RASSyndrome.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/RASSyndrome.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/README.md -------------------------------------------------------------------------------- /.vale/styles/proselint/Skunked.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Skunked.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Spelling.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Spelling.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Typography.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Typography.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Uncomparables.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Uncomparables.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/Very.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/Very.yml -------------------------------------------------------------------------------- /.vale/styles/proselint/meta.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/.vale/styles/proselint/meta.json -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /ExtractExplanationExamples.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/ExtractExplanationExamples.lean -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/LICENSE -------------------------------------------------------------------------------- /Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Main.lean -------------------------------------------------------------------------------- /Manual.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual.lean -------------------------------------------------------------------------------- /Manual/Attributes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Attributes.lean -------------------------------------------------------------------------------- /Manual/Axioms.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Axioms.lean -------------------------------------------------------------------------------- /Manual/BasicProps.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicProps.lean -------------------------------------------------------------------------------- /Manual/BasicTypes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Array.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Array.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Array/FFI.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Array/FFI.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Array/Subarray.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Array/Subarray.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/BitVec.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/BitVec.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/ByteArray.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/ByteArray.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Char.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Char.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Empty.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Empty.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Fin.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Fin.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Float.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Float.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Int.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Int.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/List.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/List.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/List/Comparisons.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/List/Comparisons.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/List/Modification.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/List/Modification.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/List/Partitioning.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/List/Partitioning.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/List/Predicates.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/List/Predicates.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/List/Transformation.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/List/Transformation.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Maps.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Maps.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Maps/TreeMap.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Maps/TreeMap.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Maps/TreeSet.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Maps/TreeSet.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Nat.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Nat.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Option.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Option.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Products.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Products.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Range.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Range.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/String.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/String.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/String/FFI.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/String/FFI.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/String/Literals.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/String/Literals.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/String/Logical.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/String/Logical.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/String/RawPos.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/String/RawPos.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/String/Slice.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/String/Slice.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/String/Substrings.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/String/Substrings.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/String/ValidPos.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/String/ValidPos.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Subtype.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Subtype.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Sum.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Sum.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/Thunk.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/Thunk.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/UInt.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/UInt.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/UInt/Arith.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/UInt/Arith.lean -------------------------------------------------------------------------------- /Manual/BasicTypes/UInt/Comparisons.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BasicTypes/UInt/Comparisons.lean -------------------------------------------------------------------------------- /Manual/BuildTools.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BuildTools.lean -------------------------------------------------------------------------------- /Manual/BuildTools/Elan.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BuildTools/Elan.lean -------------------------------------------------------------------------------- /Manual/BuildTools/Lake.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BuildTools/Lake.lean -------------------------------------------------------------------------------- /Manual/BuildTools/Lake/CLI.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BuildTools/Lake/CLI.lean -------------------------------------------------------------------------------- /Manual/BuildTools/Lake/Config.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/BuildTools/Lake/Config.lean -------------------------------------------------------------------------------- /Manual/Classes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Classes.lean -------------------------------------------------------------------------------- /Manual/Classes/BasicClasses.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Classes/BasicClasses.lean -------------------------------------------------------------------------------- /Manual/Classes/DerivingHandlers.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Classes/DerivingHandlers.lean -------------------------------------------------------------------------------- /Manual/Classes/InstanceDecls.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Classes/InstanceDecls.lean -------------------------------------------------------------------------------- /Manual/Classes/InstanceSynth.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Classes/InstanceSynth.lean -------------------------------------------------------------------------------- /Manual/Coercions.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Coercions.lean -------------------------------------------------------------------------------- /Manual/Defs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Defs.lean -------------------------------------------------------------------------------- /Manual/Elaboration.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Elaboration.lean -------------------------------------------------------------------------------- /Manual/ErrorExplanations.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/ErrorExplanations.lean -------------------------------------------------------------------------------- /Manual/ExtractExamples.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/ExtractExamples.lean -------------------------------------------------------------------------------- /Manual/Grind.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind.lean -------------------------------------------------------------------------------- /Manual/Grind/Algebra.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/Algebra.lean -------------------------------------------------------------------------------- /Manual/Grind/CaseAnalysis.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/CaseAnalysis.lean -------------------------------------------------------------------------------- /Manual/Grind/CongrClosure.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/CongrClosure.lean -------------------------------------------------------------------------------- /Manual/Grind/ConstraintPropagation.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/ConstraintPropagation.lean -------------------------------------------------------------------------------- /Manual/Grind/Cutsat.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/Cutsat.lean -------------------------------------------------------------------------------- /Manual/Grind/EMatching.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/EMatching.lean -------------------------------------------------------------------------------- /Manual/Grind/ExtendedExamples.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/ExtendedExamples.lean -------------------------------------------------------------------------------- /Manual/Grind/ExtendedExamples/IfElseNorm.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/ExtendedExamples/IfElseNorm.lean -------------------------------------------------------------------------------- /Manual/Grind/ExtendedExamples/IndexMap.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/ExtendedExamples/IndexMap.lean -------------------------------------------------------------------------------- /Manual/Grind/ExtendedExamples/Integration.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/ExtendedExamples/Integration.lean -------------------------------------------------------------------------------- /Manual/Grind/Linarith.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Grind/Linarith.lean -------------------------------------------------------------------------------- /Manual/IO.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/IO.lean -------------------------------------------------------------------------------- /Manual/IO/Console.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/IO/Console.lean -------------------------------------------------------------------------------- /Manual/IO/Files.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/IO/Files.lean -------------------------------------------------------------------------------- /Manual/IO/Ref.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/IO/Ref.lean -------------------------------------------------------------------------------- /Manual/IO/Threads.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/IO/Threads.lean -------------------------------------------------------------------------------- /Manual/Interaction.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Interaction.lean -------------------------------------------------------------------------------- /Manual/Interaction/FormatRepr.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Interaction/FormatRepr.lean -------------------------------------------------------------------------------- /Manual/Intro.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Intro.lean -------------------------------------------------------------------------------- /Manual/Iterators.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Iterators.lean -------------------------------------------------------------------------------- /Manual/Language/Functions.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Language/Functions.lean -------------------------------------------------------------------------------- /Manual/Language/InductiveTypes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Language/InductiveTypes.lean -------------------------------------------------------------------------------- /Manual/Language/InductiveTypes/LogicalModel.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Language/InductiveTypes/LogicalModel.lean -------------------------------------------------------------------------------- /Manual/Language/InductiveTypes/Nested.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Language/InductiveTypes/Nested.lean -------------------------------------------------------------------------------- /Manual/Language/InductiveTypes/Structures.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Language/InductiveTypes/Structures.lean -------------------------------------------------------------------------------- /Manual/Language/Namespaces.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Language/Namespaces.lean -------------------------------------------------------------------------------- /Manual/Meta.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta.lean -------------------------------------------------------------------------------- /Manual/Meta/Attribute.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Attribute.lean -------------------------------------------------------------------------------- /Manual/Meta/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Basic.lean -------------------------------------------------------------------------------- /Manual/Meta/CheckMessages.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/CheckMessages.lean -------------------------------------------------------------------------------- /Manual/Meta/CustomStyle.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/CustomStyle.lean -------------------------------------------------------------------------------- /Manual/Meta/ElanCheck.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/ElanCheck.lean -------------------------------------------------------------------------------- /Manual/Meta/ElanCmd.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/ElanCmd.lean -------------------------------------------------------------------------------- /Manual/Meta/ElanOpt.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/ElanOpt.lean -------------------------------------------------------------------------------- /Manual/Meta/Env.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Env.lean -------------------------------------------------------------------------------- /Manual/Meta/ErrorExplanation.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/ErrorExplanation.lean -------------------------------------------------------------------------------- /Manual/Meta/Example.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Example.lean -------------------------------------------------------------------------------- /Manual/Meta/ExpectString.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/ExpectString.lean -------------------------------------------------------------------------------- /Manual/Meta/Figure.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Figure.lean -------------------------------------------------------------------------------- /Manual/Meta/Imports.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Imports.lean -------------------------------------------------------------------------------- /Manual/Meta/Instances.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Instances.lean -------------------------------------------------------------------------------- /Manual/Meta/LakeCheck.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/LakeCheck.lean -------------------------------------------------------------------------------- /Manual/Meta/LakeCmd.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/LakeCmd.lean -------------------------------------------------------------------------------- /Manual/Meta/LakeOpt.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/LakeOpt.lean -------------------------------------------------------------------------------- /Manual/Meta/LakeToml.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/LakeToml.lean -------------------------------------------------------------------------------- /Manual/Meta/LakeToml/Test.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/LakeToml/Test.lean -------------------------------------------------------------------------------- /Manual/Meta/LakeToml/Toml.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/LakeToml/Toml.lean -------------------------------------------------------------------------------- /Manual/Meta/Lean.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Lean.lean -------------------------------------------------------------------------------- /Manual/Meta/LexedText.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/LexedText.lean -------------------------------------------------------------------------------- /Manual/Meta/LzCompress.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/LzCompress.lean -------------------------------------------------------------------------------- /Manual/Meta/Markdown.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Markdown.lean -------------------------------------------------------------------------------- /Manual/Meta/ModuleExample.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/ModuleExample.lean -------------------------------------------------------------------------------- /Manual/Meta/Monotonicity.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Monotonicity.lean -------------------------------------------------------------------------------- /Manual/Meta/Namespace.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Namespace.lean -------------------------------------------------------------------------------- /Manual/Meta/PPrint.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/PPrint.lean -------------------------------------------------------------------------------- /Manual/Meta/ParserAlias.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/ParserAlias.lean -------------------------------------------------------------------------------- /Manual/Meta/SpliceContents.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/SpliceContents.lean -------------------------------------------------------------------------------- /Manual/Meta/Syntax.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Syntax.lean -------------------------------------------------------------------------------- /Manual/Meta/Tactics.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Meta/Tactics.lean -------------------------------------------------------------------------------- /Manual/Monads.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads.lean -------------------------------------------------------------------------------- /Manual/Monads/API.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/API.lean -------------------------------------------------------------------------------- /Manual/Monads/Laws.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Laws.lean -------------------------------------------------------------------------------- /Manual/Monads/Lift.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Lift.lean -------------------------------------------------------------------------------- /Manual/Monads/Syntax.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Syntax.lean -------------------------------------------------------------------------------- /Manual/Monads/Zoo.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Zoo.lean -------------------------------------------------------------------------------- /Manual/Monads/Zoo/Combined.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Zoo/Combined.lean -------------------------------------------------------------------------------- /Manual/Monads/Zoo/Except.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Zoo/Except.lean -------------------------------------------------------------------------------- /Manual/Monads/Zoo/Id.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Zoo/Id.lean -------------------------------------------------------------------------------- /Manual/Monads/Zoo/Option.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Zoo/Option.lean -------------------------------------------------------------------------------- /Manual/Monads/Zoo/Reader.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Zoo/Reader.lean -------------------------------------------------------------------------------- /Manual/Monads/Zoo/State.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Monads/Zoo/State.lean -------------------------------------------------------------------------------- /Manual/Namespaces.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Namespaces.lean -------------------------------------------------------------------------------- /Manual/NotationsMacros.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/NotationsMacros.lean -------------------------------------------------------------------------------- /Manual/NotationsMacros/Delab.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/NotationsMacros/Delab.lean -------------------------------------------------------------------------------- /Manual/NotationsMacros/Elab.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/NotationsMacros/Elab.lean -------------------------------------------------------------------------------- /Manual/NotationsMacros/Notations.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/NotationsMacros/Notations.lean -------------------------------------------------------------------------------- /Manual/NotationsMacros/Operators.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/NotationsMacros/Operators.lean -------------------------------------------------------------------------------- /Manual/NotationsMacros/Precedence.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/NotationsMacros/Precedence.lean -------------------------------------------------------------------------------- /Manual/NotationsMacros/SyntaxDef.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/NotationsMacros/SyntaxDef.lean -------------------------------------------------------------------------------- /Manual/Papers.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Papers.lean -------------------------------------------------------------------------------- /Manual/Quotients.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Quotients.lean -------------------------------------------------------------------------------- /Manual/RecursiveDefs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/RecursiveDefs.lean -------------------------------------------------------------------------------- /Manual/RecursiveDefs/PartialFixpoint.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/RecursiveDefs/PartialFixpoint.lean -------------------------------------------------------------------------------- /Manual/RecursiveDefs/PartialFixpoint/Theory.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/RecursiveDefs/PartialFixpoint/Theory.lean -------------------------------------------------------------------------------- /Manual/RecursiveDefs/Structural.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/RecursiveDefs/Structural.lean -------------------------------------------------------------------------------- /Manual/RecursiveDefs/Structural/CourseOfValuesExample.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/RecursiveDefs/Structural/CourseOfValuesExample.lean -------------------------------------------------------------------------------- /Manual/RecursiveDefs/Structural/RecursorExample.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/RecursiveDefs/Structural/RecursorExample.lean -------------------------------------------------------------------------------- /Manual/RecursiveDefs/WF.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/RecursiveDefs/WF.lean -------------------------------------------------------------------------------- /Manual/RecursiveDefs/WF/GuessLexExample.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/RecursiveDefs/WF/GuessLexExample.lean -------------------------------------------------------------------------------- /Manual/RecursiveDefs/WF/PreprocessExample.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/RecursiveDefs/WF/PreprocessExample.lean -------------------------------------------------------------------------------- /Manual/Releases.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_0_0-m1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_0_0-m1.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_0_0-m2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_0_0-m2.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_0_0-m3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_0_0-m3.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_0_0-m4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_0_0-m4.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_0_0-m5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_0_0-m5.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_0_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_0_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_10_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_10_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_11_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_11_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_12_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_12_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_13_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_13_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_14_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_14_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_15_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_15_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_16_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_16_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_17_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_17_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_18_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_18_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_19_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_19_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_1_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_1_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_20_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_20_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_20_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_20_1.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_21_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_21_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_22_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_22_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_23_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_23_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_24_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_24_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_25_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_25_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_25_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_25_1.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_26_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_26_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_2_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_2_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_3_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_3_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_4_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_4_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_5_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_5_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_6_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_6_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_7_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_7_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_8_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_8_0.lean -------------------------------------------------------------------------------- /Manual/Releases/v4_9_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Releases/v4_9_0.lean -------------------------------------------------------------------------------- /Manual/Runtime.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Runtime.lean -------------------------------------------------------------------------------- /Manual/Simp.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Simp.lean -------------------------------------------------------------------------------- /Manual/SourceFiles.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/SourceFiles.lean -------------------------------------------------------------------------------- /Manual/SupportedPlatforms.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/SupportedPlatforms.lean -------------------------------------------------------------------------------- /Manual/Tactics.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Tactics.lean -------------------------------------------------------------------------------- /Manual/Tactics/Conv.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Tactics/Conv.lean -------------------------------------------------------------------------------- /Manual/Tactics/Custom.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Tactics/Custom.lean -------------------------------------------------------------------------------- /Manual/Tactics/Reference.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Tactics/Reference.lean -------------------------------------------------------------------------------- /Manual/Tactics/Reference/Simp.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Tactics/Reference/Simp.lean -------------------------------------------------------------------------------- /Manual/Terms.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Terms.lean -------------------------------------------------------------------------------- /Manual/Types.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/Types.lean -------------------------------------------------------------------------------- /Manual/VCGen.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/Manual/VCGen.lean -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/README.md -------------------------------------------------------------------------------- /deploy/build.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | lake build 4 | -------------------------------------------------------------------------------- /deploy/generate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/deploy/generate.sh -------------------------------------------------------------------------------- /deploy/overlay.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/deploy/overlay.py -------------------------------------------------------------------------------- /deploy/prep.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/deploy/prep.sh -------------------------------------------------------------------------------- /deploy/release.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/deploy/release.py -------------------------------------------------------------------------------- /deploy/release_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/deploy/release_utils.py -------------------------------------------------------------------------------- /elan-init: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/elan-init -------------------------------------------------------------------------------- /extended-examples/IndexMap.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/extended-examples/IndexMap.lean -------------------------------------------------------------------------------- /extended-examples/IndexMapGrind.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/extended-examples/IndexMapGrind.lean -------------------------------------------------------------------------------- /extended-examples/IndexMapGrind/CheckMsgs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/extended-examples/IndexMapGrind/CheckMsgs.lean -------------------------------------------------------------------------------- /figures.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/figures.sh -------------------------------------------------------------------------------- /figures/array.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/figures/array.tex -------------------------------------------------------------------------------- /figures/coe-chain.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/figures/coe-chain.tex -------------------------------------------------------------------------------- /figures/lake-workspace.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/figures/lake-workspace.tex -------------------------------------------------------------------------------- /figures/pipeline-overview.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/figures/pipeline-overview.tex -------------------------------------------------------------------------------- /figures/string.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/figures/string.tex -------------------------------------------------------------------------------- /figures/thunk.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/figures/thunk.tex -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/flake.nix -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/lakefile.lean -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.26.0-rc2 2 | -------------------------------------------------------------------------------- /scripts/check-examples-isolated.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/scripts/check-examples-isolated.sh -------------------------------------------------------------------------------- /scripts/lean-pr-testing-comments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/scripts/lean-pr-testing-comments.sh -------------------------------------------------------------------------------- /scripts/merge-lean-testing-pr.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/scripts/merge-lean-testing-pr.sh -------------------------------------------------------------------------------- /server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/server.py -------------------------------------------------------------------------------- /static/README.txt: -------------------------------------------------------------------------------- 1 | The directory `katex` contains KaTeX v0.16.11 (MIT license) 2 | -------------------------------------------------------------------------------- /static/colors.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/colors.css -------------------------------------------------------------------------------- /static/fonts/noto-sans-mono/NotoSansMono-VariableFont_wdth,wght.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/noto-sans-mono/NotoSansMono-VariableFont_wdth,wght.ttf -------------------------------------------------------------------------------- /static/fonts/noto-sans-mono/OFL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/noto-sans-mono/OFL.txt -------------------------------------------------------------------------------- /static/fonts/noto-sans-mono/noto-sans-mono.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/noto-sans-mono/noto-sans-mono.css -------------------------------------------------------------------------------- /static/fonts/source-code-pro/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/LICENSE.md -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-Black.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-Black.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-BlackIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-BlackIt.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-Bold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-Bold.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-BoldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-BoldIt.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-ExtraLight.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-ExtraLight.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-ExtraLightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-ExtraLightIt.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-It.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-It.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-Light.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-Light.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-LightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-LightIt.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-Medium.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-Medium.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-MediumIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-MediumIt.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-Regular.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-Regular.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-Semibold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-Semibold.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/OTF/SourceCodePro-SemiboldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/OTF/SourceCodePro-SemiboldIt.otf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-Black.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-Black.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-BlackIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-BlackIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-Bold.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-BoldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-BoldIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-ExtraLight.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-ExtraLight.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-ExtraLightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-ExtraLightIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-It.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-It.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-Light.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-Light.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-LightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-LightIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-Medium.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-Medium.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-MediumIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-MediumIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-Regular.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-Semibold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-Semibold.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/TTF/SourceCodePro-SemiboldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/TTF/SourceCodePro-SemiboldIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Black.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Black.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-BlackIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-BlackIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Bold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Bold.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-BoldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-BoldIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-ExtraLight.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-ExtraLight.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-ExtraLightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-ExtraLightIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-It.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-It.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Light.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Light.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-LightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-LightIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Medium.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Medium.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-MediumIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-MediumIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Regular.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Regular.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Semibold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Semibold.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-SemiboldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-SemiboldIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Black.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Black.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-BlackIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-BlackIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Bold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Bold.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-BoldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-BoldIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-ExtraLight.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-ExtraLight.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-ExtraLightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-ExtraLightIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-It.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-It.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Light.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Light.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-LightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-LightIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Medium.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Medium.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-MediumIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-MediumIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Regular.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Regular.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Semibold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Semibold.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-SemiboldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-SemiboldIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Black.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Black.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-BlackIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-BlackIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Bold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Bold.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-BoldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-BoldIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-ExtraLight.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-ExtraLight.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-ExtraLightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-ExtraLightIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-It.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-It.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Light.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Light.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-LightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-LightIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Medium.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Medium.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-MediumIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-MediumIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Regular.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Regular.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Semibold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Semibold.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-SemiboldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-SemiboldIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodeVF-Italic.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodeVF-Italic.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/OTF/SourceCodeVF-Upright.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/OTF/SourceCodeVF-Upright.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Black.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Black.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-BlackIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-BlackIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Bold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Bold.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-BoldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-BoldIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-ExtraLight.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-ExtraLight.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-ExtraLightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-ExtraLightIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-It.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-It.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Light.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Light.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-LightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-LightIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Medium.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Medium.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-MediumIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-MediumIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Regular.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Regular.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Semibold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Semibold.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-SemiboldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-SemiboldIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodeVF-Italic.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodeVF-Italic.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/WOFF2/TTF/SourceCodeVF-Upright.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/WOFF2/TTF/SourceCodeVF-Upright.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-code-pro/source-code-pro.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-code-pro/source-code-pro.css -------------------------------------------------------------------------------- /static/fonts/source-sans/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/LICENSE.md -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-Black.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-Black.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-BlackIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-BlackIt.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-Bold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-Bold.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-BoldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-BoldIt.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-ExtraLight.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-ExtraLight.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-ExtraLightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-ExtraLightIt.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-It.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-It.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-Light.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-Light.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-LightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-LightIt.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-Medium.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-Medium.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-MediumIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-MediumIt.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-Regular.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-Regular.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-Semibold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-Semibold.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/OTF/SourceSans3-SemiboldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/OTF/SourceSans3-SemiboldIt.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-Black.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-Black.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-BlackIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-BlackIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-Bold.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-BoldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-BoldIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-ExtraLight.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-ExtraLight.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-ExtraLightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-ExtraLightIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-It.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-It.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-Light.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-Light.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-LightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-LightIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-Medium.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-Medium.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-MediumIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-MediumIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-Regular.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-Semibold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-Semibold.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/TTF/SourceSans3-SemiboldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/TTF/SourceSans3-SemiboldIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/VF/SourceSans3VF-Italic.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/VF/SourceSans3VF-Italic.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/VF/SourceSans3VF-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/VF/SourceSans3VF-Italic.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/VF/SourceSans3VF-Upright.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/VF/SourceSans3VF-Upright.otf -------------------------------------------------------------------------------- /static/fonts/source-sans/VF/SourceSans3VF-Upright.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/VF/SourceSans3VF-Upright.ttf -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-Black.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-Black.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-BlackIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-BlackIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-Bold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-Bold.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-BoldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-BoldIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-ExtraLight.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-ExtraLight.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-ExtraLightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-ExtraLightIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-It.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-It.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-Light.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-Light.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-LightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-LightIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-Medium.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-Medium.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-MediumIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-MediumIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-Regular.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-Regular.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-Semibold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-Semibold.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/OTF/SourceSans3-SemiboldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/OTF/SourceSans3-SemiboldIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-Black.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-Black.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-BlackIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-BlackIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-Bold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-Bold.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-BoldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-BoldIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-ExtraLight.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-ExtraLight.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-ExtraLightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-ExtraLightIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-It.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-It.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-Light.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-Light.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-LightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-LightIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-Medium.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-Medium.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-MediumIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-MediumIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-Regular.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-Regular.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-Semibold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-Semibold.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/TTF/SourceSans3-SemiboldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/TTF/SourceSans3-SemiboldIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/VF/SourceSans3VF-Italic.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Italic.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/VF/SourceSans3VF-Italic.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Italic.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/VF/SourceSans3VF-Upright.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Upright.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF/VF/SourceSans3VF-Upright.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Upright.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-Black.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Black.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-BlackIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-BlackIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-Bold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Bold.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-BoldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-BoldIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-ExtraLight.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-ExtraLight.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-ExtraLightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-ExtraLightIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-It.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-It.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-Light.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Light.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-LightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-LightIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-Medium.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Medium.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-MediumIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-MediumIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-Regular.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Regular.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-Semibold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Semibold.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/OTF/SourceSans3-SemiboldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/OTF/SourceSans3-SemiboldIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-Black.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Black.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-BlackIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-BlackIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-Bold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Bold.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-BoldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-BoldIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-ExtraLight.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-ExtraLight.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-ExtraLightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-ExtraLightIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-It.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-It.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-Light.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Light.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-LightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-LightIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-Medium.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Medium.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-MediumIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-MediumIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-Regular.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Regular.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-Semibold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Semibold.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/TTF/SourceSans3-SemiboldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/TTF/SourceSans3-SemiboldIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Italic.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Italic.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Italic.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Italic.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Upright.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Upright.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Upright.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Upright.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-sans/source-sans-3.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/source-sans-3.css -------------------------------------------------------------------------------- /static/fonts/source-sans/source-sans-3VF.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-sans/source-sans-3VF.css -------------------------------------------------------------------------------- /static/fonts/source-serif/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/LICENSE.md -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-Black.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-Black.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-BlackIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-BlackIt.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-Bold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-Bold.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-BoldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-BoldIt.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-ExtraLight.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-ExtraLight.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-ExtraLightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-ExtraLightIt.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-It.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-It.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-Light.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-Light.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-LightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-LightIt.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-Regular.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-Regular.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-Semibold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-Semibold.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/OTF/SourceSerif4-SemiboldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/OTF/SourceSerif4-SemiboldIt.otf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-Black.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-Black.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-BlackIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-BlackIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-Bold.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-BoldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-BoldIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-ExtraLight.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-ExtraLight.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-ExtraLightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-ExtraLightIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-It.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-It.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-Light.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-Light.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-LightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-LightIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-Regular.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-Semibold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-Semibold.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/TTF/SourceSerif4-SemiboldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/TTF/SourceSerif4-SemiboldIt.ttf -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-Black.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Black.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-BlackIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-BlackIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-Bold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Bold.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-BoldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-BoldIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-ExtraLight.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-ExtraLight.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-ExtraLightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-ExtraLightIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-It.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-It.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-Light.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Light.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-LightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-LightIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-Regular.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Regular.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-Semibold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Semibold.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/OTF/SourceSerif4-SemiboldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/OTF/SourceSerif4-SemiboldIt.otf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-Black.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Black.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-BlackIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-BlackIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-Bold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Bold.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-BoldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-BoldIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-ExtraLight.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-ExtraLight.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-ExtraLightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-ExtraLightIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-It.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-It.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-Light.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Light.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-LightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-LightIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-Regular.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Regular.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-Semibold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Semibold.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF/TTF/SourceSerif4-SemiboldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF/TTF/SourceSerif4-SemiboldIt.ttf.woff -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Black.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Black.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-BlackIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-BlackIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Bold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Bold.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-BoldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-BoldIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-ExtraLight.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-ExtraLight.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-ExtraLightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-ExtraLightIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-It.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-It.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Light.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Light.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-LightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-LightIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Regular.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Regular.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Semibold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Semibold.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/OTF/SourceSerif4-SemiboldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-SemiboldIt.otf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Black.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Black.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-BlackIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-BlackIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Bold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Bold.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-BoldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-BoldIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-ExtraLight.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-ExtraLight.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-ExtraLightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-ExtraLightIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-It.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-It.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Light.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Light.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-LightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-LightIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Regular.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Regular.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Semibold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Semibold.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/WOFF2/TTF/SourceSerif4-SemiboldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-SemiboldIt.ttf.woff2 -------------------------------------------------------------------------------- /static/fonts/source-serif/source-serif-text.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/fonts/source-serif/source-serif-text.css -------------------------------------------------------------------------------- /static/lean_logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/lean_logo.svg -------------------------------------------------------------------------------- /static/metadata.js: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /static/print.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/print.css -------------------------------------------------------------------------------- /static/print.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/print.js -------------------------------------------------------------------------------- /static/screenshots/do-return-hl-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/screenshots/do-return-hl-1.png -------------------------------------------------------------------------------- /static/screenshots/do-return-hl-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/screenshots/do-return-hl-2.png -------------------------------------------------------------------------------- /static/theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/reference-manual/HEAD/static/theme.css -------------------------------------------------------------------------------- /test.txt: -------------------------------------------------------------------------------- 1 | This is a test 2 | --------------------------------------------------------------------------------