Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/path-loss
commit
d85f439c319afc550308c3acbc8466569925ff03
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Thu Jul 25 12:52:38 2019 +0200
committer
Sebastian Ullrich <sebasti@nullri.ch>
Thu Jul 25 12:53:05 2019 +0200
tree
2e9e755683d1064a1db0c2965074318c4a0fae6f
parent
91393576edff1eb0639e6d30ff2b2c56697fbe2f [diff] 
chore(*): remove obsolete leanpkg.path files
6 files changed
tree: 2e9e755683d1064a1db0c2965074318c4a0fae6f
  1. .github/
  2. bin/
  3. doc/
  4. images/
  5. lean4-mode/
  6. library/
  7. script/
  8. src/
  9. tests/
  10. tmp/
  11. .appveyor.yml
  12. .clang-format
  13. .codecov.yml
  14. .gitattributes
  15. .gitignore
  16. .travis.yml
  17. azure-pipelines.yml
  18. default.nix
  19. derivation.nix
  20. LICENSE
  21. README.md
  22. 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.