capless-lean/doc/Lean.html at main · Linyxus/capless-lean · GitHub

1
2
3
<html lang="en"><head><meta charset="UTF-8"></meta><meta name="viewport" content="width=device-width, initial-scale=1"></meta><link rel="stylesheet" href="./style.css"></link><link rel="icon" href="./favicon.svg"></link><link rel="mask-icon" href="./favicon.svg" color="#000000"></link><link rel="prefetch" href=".//declarations/declaration-data.bmp" as="image"></link><title>Lean</title><script defer="true" src="./mathjax-config.js"></script><script defer="true" src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script><script defer="true" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script><script>const SITE_ROOT="./";</script><script>const MODULE_NAME="Lean";</script><script type="module" src="./jump-src.js"></script><script type="module" src="./search.js"></script><script type="module" src="./expand-nav.js"></script><script type="module" src="./how-about.js"></script><script type="module" src="./instances.js"></script><script type="module" src="./importedBy.js"></script></head><body><input id="nav_toggle" type="checkbox"></input><header><h1><label for="nav_toggle"></label><span>Documentation</span></h1><h2 class="header_filename break_within"><span class="name">Lean</span></h2><form id="search_form"><input type="text" name="q" autocomplete="off"></input>&#32;<button id="search_button" onclick="javascript: form.action='./search.html';">Search</button></form></header><nav class="internal_nav"><p><a href="#top">return to top</a></p><p class="gh_nav_link"><a href="https://github.com/leanprover/lean4/blob/6741444a63eec253a7eae7a83f1beb3de015023d/src/Lean.lean">source</a></p><div class="imports"><details><summary>Imports</summary><ul><li><a href="./Init.html">Init</a></li><li><a href="./Lean/AddDecl.html">Lean.AddDecl</a></li><li><a href="./Lean/Attributes.html">Lean.Attributes</a></li><li><a href="./Lean/AuxRecursor.html">Lean.AuxRecursor</a></li><li><a href="./Lean/Class.html">Lean.Class</a></li><li><a href="./Lean/Compiler.html">Lean.Compiler</a></li><li><a href="./Lean/CoreM.html">Lean.CoreM</a></li><li><a href="./Lean/Data.html">Lean.Data</a></li><li><a href="./Lean/DeclarationRange.html">Lean.DeclarationRange</a></li><li><a href="./Lean/DocString.html">Lean.DocString</a></li><li><a href="./Lean/Elab.html">Lean.Elab</a></li><li><a href="./Lean/EnvExtension.html">Lean.EnvExtension</a></li><li><a href="./Lean/Environment.html">Lean.Environment</a></li><li><a href="./Lean/InternalExceptionId.html">Lean.InternalExceptionId</a></li><li><a href="./Lean/LabelAttribute.html">Lean.LabelAttribute</a></li><li><a href="./Lean/Linter.html">Lean.Linter</a></li><li><a href="./Lean/LoadDynlib.html">Lean.LoadDynlib</a></li><li><a href="./Lean/LocalContext.html">Lean.LocalContext</a></li><li><a href="./Lean/Log.html">Lean.Log</a></li><li><a href="./Lean/Meta.html">Lean.Meta</a></li><li><a href="./Lean/MetavarContext.html">Lean.MetavarContext</a></li><li><a href="./Lean/Modifiers.html">Lean.Modifiers</a></li><li><a href="./Lean/Namespace.html">Lean.Namespace</a></li><li><a href="./Lean/Parser.html">Lean.Parser</a></li><li><a href="./Lean/PremiseSelection.html">Lean.PremiseSelection</a></li><li><a href="./Lean/PrettyPrinter.html">Lean.PrettyPrinter</a></li><li><a href="./Lean/PrivateName.html">Lean.PrivateName</a></li><li><a href="./Lean/ProjFns.html">Lean.ProjFns</a></li><li><a href="./Lean/ReducibilityAttrs.html">Lean.ReducibilityAttrs</a></li><li><a href="./Lean/Replay.html">Lean.Replay</a></li><li><a href="./Lean/ReservedNameAction.html">Lean.ReservedNameAction</a></li><li><a href="./Lean/ResolveName.html">Lean.ResolveName</a></li><li><a href="./Lean/Runtime.html">Lean.Runtime</a></li><li><a href="./Lean/ScopedEnvExtension.html">Lean.ScopedEnvExtension</a></li><li><a href="./Lean/Server.html">Lean.Server</a></li><li><a href="./Lean/Structure.html">Lean.Structure</a></li><li><a href="./Lean/SubExpr.html">Lean.SubExpr</a></li><li><a href="./Lean/Util.html">Lean.Util</a></li><li><a href="./Lean/Widget.html">Lean.Widget</a></li></ul></details><details><summary>Imported by</summary><ul id="imported-by-Lean" class="imported-by-list"></ul></details></div></nav><main>
</main>
<nav class="nav"><iframe src="./navbar.html" class="navframe" frameBorder="0"></iframe></nav></body></html>