Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/pp-comp
commit
bdf1bae754500bf3c5ef449c9c5fef297afa070b
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Tue Aug 11 15:46:16 2020 +0200
committer
Sebastian Ullrich <sebasti@nullri.ch>
Tue Aug 11 19:43:46 2020 +0200
tree
e7cbd36f323e0ba92692f2753bd3133f04d0d1dd
parent
77bf9f71f8c9d6b9c1b79a4d8d075fb9c1d552ea [diff] 
test: parenthesizer no longer dependent on importing `Lean`
1 file changed
tree: e7cbd36f323e0ba92692f2753bd3133f04d0d1dd
  1. .github/
  2. doc/
  3. images/
  4. lean4-mode/
  5. nix/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. tmp/
  11. .clang-format
  12. .codecov.yml
  13. .gitattributes
  14. .gitignore
  15. CMakeLists.txt
  16. default.nix
  17. LICENSE
  18. README.md
  19. 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.