Lean 4 fork for HoTT-compatible kernel extensions (Path types, transport, HITs). Maintained against upstream leanprover/lean4.
574b86c247
Bumps [nwtgck/actions-netlify](https://github.com/nwtgck/actions-netlify) from 2.0 to 3.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/nwtgck/actions-netlify/releases">nwtgck/actions-netlify's releases</a>.</em></p> <blockquote> <h2>v3.0.0</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> <li>Updates the default runtime to node20</li> </ul> <h2>v2.1.0</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h3>Added</h3> <ul> <li>Add "enable-github-deployment" input <a href="https://redirect.github.com/nwtgck/actions-netlify/pull/901">#901</a> by <a href="https://github.com/a-tokyo"><code>@a-tokyo</code></a></li> </ul> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/nwtgck/actions-netlify/blob/develop/CHANGELOG.md">nwtgck/actions-netlify's changelog</a>.</em></p> <blockquote> <h1>Changelog</h1> <p>All notable changes to this project will be documented in this file.</p> <p>The format is based on <a href="https://keepachangelog.com/en/1.0.0/">Keep a Changelog</a></p> <h2>[Unreleased]</h2> <h2>[3.0.0] - 2024-03-10</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> <li>Updates the default runtime to node20</li> </ul> <h2>[2.1.0] - 2023-08-18</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h3>Added</h3> <ul> <li>Add "enable-github-deployment" input <a href="https://redirect.github.com/nwtgck/actions-netlify/pull/901">#901</a> by <a href="https://github.com/a-tokyo"><code>@a-tokyo</code></a></li> </ul> <h2>[2.0.0] - 2022-12-08</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> <li>Updates the default runtime to node16</li> </ul> <h2>[1.2.4] - 2022-10-14</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h2>[1.2.3] - 2021-12-20</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h2>[1.2.2] - 2021-05-08</h2> <h3>Fixed</h3> <ul> <li>Fix GitHub deployment description</li> </ul> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h2>[1.2.1] - 2021-05-05</h2> <h3>Added</h3> <ul> <li>Add "fails-without-credentials" input to fail if the credentials not provided <a href="https://redirect.github.com/nwtgck/actions-netlify/pull/532">#532</a></li> </ul> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h2>[1.2.0] - 2021-04-29</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> <li>(breaking change for <code>overwrites-pull-request-comment: true</code>): Support multiple app deploys in a single PR <a href="https://redirect.github.com/nwtgck/actions-netlify/pull/484">#484</a> by <a href="https://github.com/kaisermann"><code>@kaisermann</code></a></li> </ul> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href=" |
||
|---|---|---|
| .github | ||
| doc | ||
| images | ||
| nix | ||
| releases_drafts | ||
| script | ||
| src | ||
| stage0 | ||
| tests | ||
| .gitattributes | ||
| .gitignore | ||
| .ignore | ||
| CMakeLists.txt | ||
| CMakePresets.json | ||
| CODEOWNERS | ||
| CONTRIBUTING.md | ||
| debug.log | ||
| flake.lock | ||
| flake.nix | ||
| lean-toolchain | ||
| lean.code-workspace | ||
| LICENSE | ||
| LICENSES | ||
| README.md | ||
| RELEASES.md | ||
This is the repository for Lean 4.
About
- Quickstart
- Homepage
- Theorem Proving Tutorial
- Functional Programming in Lean
- Manual
- Release notes starting at v4.0.0-m3
- Examples
- External Contribution Guidelines
- FAQ
Installation
See Setting Up Lean.
Contributing
Please read our Contribution Guidelines first.
Building from Source
See Building Lean (documentation source: doc/make/index.md).