Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/fd08bafc4ae4a175ce1398ffdb0fc21c2de03e68
commit
fd08bafc4ae4a175ce1398ffdb0fc21c2de03e68
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Tue Jan 11 12:03:22 2022 +0100
committer
Sebastian Ullrich <sebasti@nullri.ch>
Thu Jan 13 12:54:29 2022 +0100
tree
b8e0ef92f7159337b70019a308118ed35aea7306
parent
14ba8842e1b54c476e279a72a72758bb8834c10f [diff] 
Revert "chore: Nix: link with `gold` instead of `lld`"

This reverts commit 0db80c6ea80e669fd0d30a20390ce36b37815726.
1 file changed
tree: b8e0ef92f7159337b70019a308118ed35aea7306
  1. .github/
  2. .vscode/
  3. doc/
  4. images/
  5. lean4-mode/
  6. nix/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  11. tmp/
  12. .gitattributes
  13. .gitignore
  14. .gitmodules
  15. CMakeLists.txt
  16. CONTRIBUTING.md
  17. default.nix
  18. flake.lock
  19. flake.nix
  20. LICENSE
  21. LICENSES
  22. README.md
  23. shell.nix
README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.