Skip to content

Commit

Permalink
Deploying to gh-pages from @ e458d06 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@eyihluyc
eyihluyc committed Aug 13, 2024
0 parents commit 2668853
Show file tree
Hide file tree
Showing 1,000 changed files with 139,747 additions and 0 deletions.
1 change: 1 addition & 0 deletions docs/404.html
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<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>404</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 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">404</span></h2><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>
3 changes: 3 additions & 0 deletions docs/Batteries/Tactic/Lint.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,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>Batteries.Tactic.Lint</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="Batteries.Tactic.Lint";</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">Batteries</span>.<span class="name">Tactic</span>.<span class="name">Lint</span></h2><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"><p><a href="#top">return to top</a></p><p class="gh_nav_link"><a href="https://github.com/leanprover-community/batteries/blob/1d25ec7ec98d6d9fb526c997aa014bcabbad8b72/Batteries/Tactic/Lint.lean">source</a></p><div class="imports"><details><summary>Imports</summary><ul><li><a href="../.././Init.html">Init</a></li><li><a href="../.././Batteries/Tactic/Lint/Frontend.html">Batteries.Tactic.Lint.Frontend</a></li><li><a href="../.././Batteries/Tactic/Lint/Misc.html">Batteries.Tactic.Lint.Misc</a></li><li><a href="../.././Batteries/Tactic/Lint/Simp.html">Batteries.Tactic.Lint.Simp</a></li><li><a href="../.././Batteries/Tactic/Lint/TypeClass.html">Batteries.Tactic.Lint.TypeClass</a></li></ul></details><details><summary>Imported by</summary><ul id="imported-by-Batteries.Tactic.Lint" 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>
1 change: 1 addition & 0 deletions docs/Batteries/Tactic/Lint.html.hash
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
7782274993228197233
5 changes: 5 additions & 0 deletions docs/Batteries/Tactic/Lint.html.trace
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{"log":
[{"message":
".> ELAN_HOME=/home/runner/.elan ELAN_TOOLCHAIN=leanprover/lean4:v4.11.0-rc2 LAKE=/home/runner/.elan/toolchains/leanprover--lean4---v4.11.0-rc2/bin/lake LAKE_HOME=/home/runner/.elan/toolchains/leanprover--lean4---v4.11.0-rc2 LAKE_PKG_URL_MAP={} LEAN_GITHASH=0edf1bac392f7e2fe0266b28b51c498306363a84 LEAN_SYSROOT=/home/runner/.elan/toolchains/leanprover--lean4---v4.11.0-rc2 LEAN_AR=/home/runner/.elan/toolchains/leanprover--lean4---v4.11.0-rc2/bin/llvm-ar LEAN_CC= LEAN_PATH=././.lake/packages/MD4Lean/.lake/build/lib:././.lake/packages/UnicodeBasic/.lake/build/lib:././.lake/packages/BibtexQuery/.lake/build/lib:././.lake/packages/Cli/.lake/build/lib:././.lake/packages/doc-gen4/.lake/build/lib:././.lake/packages/batteries/.lake/build/lib:././.lake/packages/Qq/.lake/build/lib:././.lake/packages/aesop/.lake/build/lib:././.lake/packages/proofwidgets/.lake/build/lib:././.lake/packages/importGraph/.lake/build/lib:././.lake/packages/mathlib/.lake/build/lib:././.lake/build/lib:/home/runner/.elan/toolchains/leanprover--lean4---v4.11.0-rc2/lib/lean LEAN_SRC_PATH=././.lake/packages/MD4Lean/./.:././.lake/packages/UnicodeBasic/./.:././.lake/packages/BibtexQuery/./.:././.lake/packages/Cli/./.:././.lake/packages/doc-gen4/./.:././.lake/packages/batteries/./.:././.lake/packages/Qq/./.:././.lake/packages/aesop/./.:././.lake/packages/aesop/./.:././.lake/packages/proofwidgets/./.:././.lake/packages/proofwidgets/./.:././.lake/packages/importGraph/./.:././.lake/packages/mathlib/./.:././.lake/packages/mathlib/./.:././.lake/packages/mathlib/./.:././.lake/packages/mathlib/./.:././.lake/packages/mathlib/./.:././.lake/packages/mathlib/./.:./././.:./././.:/home/runner/.elan/toolchains/leanprover--lean4---v4.11.0-rc2/src/lean/lake PATH LD_LIBRARY_PATH=././.lake/packages/MD4Lean/.lake/build/lib:././.lake/packages/UnicodeBasic/.lake/build/lib:././.lake/packages/BibtexQuery/.lake/build/lib:././.lake/packages/Cli/.lake/build/lib:././.lake/packages/doc-gen4/.lake/build/lib:././.lake/packages/batteries/.lake/build/lib:././.lake/packages/Qq/.lake/build/lib:././.lake/packages/aesop/.lake/build/lib:././.lake/packages/proofwidgets/.lake/build/lib:././.lake/packages/importGraph/.lake/build/lib:././.lake/packages/mathlib/.lake/build/lib:././.lake/build/lib:/home/runner/.elan/toolchains/leanprover--lean4---v4.11.0-rc2/lib/lean:/home/runner/.elan/toolchains/leanprover--lean4---v4.11.0-rc2/lib ././.lake/packages/doc-gen4/.lake/build/bin/doc-gen4 single Batteries.Tactic.Lint https://github.com/leanprover-community/batteries/blob/1d25ec7ec98d6d9fb526c997aa014bcabbad8b72/Batteries/Tactic/Lint.lean",
"level": "trace"}],
"depHash": "223230723227240233"}
Loading

0 comments on commit 2668853

Please sign in to comment.