Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/new_inductive
commit
86b49081ef1e260c5a5d7d7d2cf535dbf87a20e3
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Thu Sep 06 18:08:03 2018 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Thu Sep 06 18:08:03 2018 -0700
tree
cd41bef65e21573462d2d6e4ca637d019ebf0e89
parent
7c8770bf55a8f832ff6ceb210c0b57721054a6ee [diff] 
chore(tests/lean): fix tests
4 files changed
tree: cd41bef65e21573462d2d6e4ca637d019ebf0e89
  1. .github/
  2. bin/
  3. doc/
  4. extras/
  5. gen/
  6. images/
  7. leanpkg/
  8. library/
  9. old_tests/
  10. packages/
  11. script/
  12. src/
  13. tests/
  14. tmp/
  15. .appveyor.yml
  16. .clang-format
  17. .codecov.yml
  18. .gitattributes
  19. .gitignore
  20. .travis.yml
  21. LICENSE
  22. README.md
README.md

About

Installation

Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.

Miscellaneous

Roadmap