Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/bbec84bb18d7d978b0c4ea13841b5a4ee6f1c1b4
commit
bbec84bb18d7d978b0c4ea13841b5a4ee6f1c1b4
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Wed Jan 19 21:39:58 2022 +0100
committer
Sebastian Ullrich <sebasti@nullri.ch>
Wed Jan 19 21:40:29 2022 +0100
tree
e406651946223040bbd7c4ca325c7666741cc868
parent
3651ebb37710103b4f37eb6aad82d22bb992c3ea [diff] 
chore: more output on trace.Elab.info
2 files changed
tree: e406651946223040bbd7c4ca325c7666741cc868
  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.