Skip to content

Commit

Permalink
Deploying to gh-pages from @ 99272db πŸš€
Browse files Browse the repository at this point in the history
  • Loading branch information
@fizruk
fizruk committed Feb 6, 2024
0 parents commit 36cabdf
Show file tree
Hide file tree
Showing 1,454 changed files with 88,737 additions and 0 deletions.
2 changes: 2 additions & 0 deletions docs/404.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
<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="stylesheet" href="./src/pygments.css"></link><link rel="shortcut icon" href="./favicon.ico"></link><link rel="prefetch" href=".//declarations/declaration-data.bmp" as="image"></link><title>404</title><script defer="true" src="./mathjax-config.js"></script><script defer="true" src="https://polyfill.io/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 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>Documentation</h1><p class="header_filename break_within"><span class="name">404</span></p><form action="https://google.com/search" method="get" id="search_form"><input type="hidden" name="sitesearch" value="https://leanprover-community.github.io/mathlib4_docs"></input><input type="text" name="q" autocomplete="off"></input>&#32;
<button id="search_button" onclick="javascript: form.action='./search.html';">Search</button><button>Google site search</button></form></header><main><h1>404 Not Found</h1><p>Unfortunately, the page you were looking for is no longer here. </p><div id="howabout"></div></main><nav class="nav"><iframe src="./navbar.html" class="navframe" frameBorder="0"></iframe></nav></body></html>
4 changes: 4 additions & 0 deletions docs/Init.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
<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="stylesheet" href="./src/pygments.css"></link><link rel="shortcut icon" href="./favicon.ico"></link><link rel="prefetch" href=".//declarations/declaration-data.bmp" as="image"></link><title>Init</title><script defer="true" src="./mathjax-config.js"></script><script defer="true" src="https://polyfill.io/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="Init";</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>Documentation</h1><p class="header_filename break_within"><span class="name">Init</span></p><form action="https://google.com/search" method="get" id="search_form"><input type="hidden" name="sitesearch" value="https://leanprover-community.github.io/mathlib4_docs"></input><input type="text" name="q" autocomplete="off"></input>&#32;
<button id="search_button" onclick="javascript: form.action='./search.html';">Search</button><button>Google site search</button></form></header><nav class="internal_nav"><h3><a class="break_within" href="#top"><span class="name">Init</span></a></h3><p class="gh_nav_link"><a href="https://github.com/leanprover/lean4/blob/b614ff1d12bc38f39077f9ce9f2d48b42c003ad0/src/Init.lean">source</a></p><div class="imports"><details><summary>Imports</summary><ul><li><a href="./Init/Control.html">Init.Control</a></li><li><a href="./Init/Conv.html">Init.Conv</a></li><li><a href="./Init/Core.html">Init.Core</a></li><li><a href="./Init/Data.html">Init.Data</a></li><li><a href="./Init/Dynamic.html">Init.Dynamic</a></li><li><a href="./Init/Hints.html">Init.Hints</a></li><li><a href="./Init/Meta.html">Init.Meta</a></li><li><a href="./Init/MetaTypes.html">Init.MetaTypes</a></li><li><a href="./Init/Notation.html">Init.Notation</a></li><li><a href="./Init/NotationExtra.html">Init.NotationExtra</a></li><li><a href="./Init/Prelude.html">Init.Prelude</a></li><li><a href="./Init/ShareCommon.html">Init.ShareCommon</a></li><li><a href="./Init/SimpLemmas.html">Init.SimpLemmas</a></li><li><a href="./Init/SizeOfLemmas.html">Init.SizeOfLemmas</a></li><li><a href="./Init/System.html">Init.System</a></li><li><a href="./Init/Tactics.html">Init.Tactics</a></li><li><a href="./Init/Util.html">Init.Util</a></li><li><a href="./Init/WF.html">Init.WF</a></li><li><a href="./Init/WFTactics.html">Init.WFTactics</a></li><li><a href="./Init/Data/Basic.html">Init.Data.Basic</a></li></ul></details><details><summary>Imported by</summary><ul id="imported-by-Init" 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>
Loading

0 comments on commit 36cabdf

Please sign in to comment.