Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/ld-cyclic
commit
a31d9d3369ba14a5fad3185ad52ca56e1df75f32
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Fri Nov 13 19:57:06 2020 +0100
committer
Sebastian Ullrich <sebasti@nullri.ch>
Fri Nov 13 20:06:16 2020 +0100
tree
7d6deee96a6c17ffc19802fbb0b304e7a51b6336
parent
c87014dc75db79d9de45c5617e6765d3181e17cf [diff] 
chore: remove broken & redundant "new parser Core.lean" benchmark
3 files changed
tree: 7d6deee96a6c17ffc19802fbb0b304e7a51b6336
  1. .github/
  2. doc/
  3. images/
  4. lean4-mode/
  5. nix/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. tmp/
  11. .gitattributes
  12. .gitignore
  13. CMakeLists.txt
  14. default.nix
  15. LICENSE
  16. README.md
  17. 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.