Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/reboot
commit
df8474ca323f97c3e2b22c2c0dce8db465f3a568
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Mon Nov 11 22:45:56 2019 +0100
committer
Sebastian Ullrich <sebasti@nullri.ch>
Mon Nov 11 23:07:05 2019 +0100
tree
999171de80f8d096f8bc67a22600e1c511b826f2
parent
99671d2d5ccf816e4554fef25f3dbef5a92e6ca3 [diff] 
doc: update make docs
1 file changed
tree: 999171de80f8d096f8bc67a22600e1c511b826f2
  1. .github/
  2. bin/
  3. doc/
  4. images/
  5. lean4-mode/
  6. library/
  7. nix/
  8. script/
  9. src/
  10. stage0/
  11. tests/
  12. tmp/
  13. .appveyor.yml
  14. .clang-format
  15. .codecov.yml
  16. .gitattributes
  17. .gitignore
  18. .travis.yml
  19. azure-pipelines.yml
  20. default.nix
  21. LICENSE
  22. README.md
  23. shell.nix
README.md

We are currently developing Lean 4. Lean 3 is still the latest official release. This repository contains work in progress.

Important. Unless you are one of our collaborators

  • We strongly suggest you use Lean 3.
  • Pull requests are not welcome.
  • New issues are not welcome, and will be closed without any feedback.