Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expr_lit
commit
d8130ee0d2417d58367382ec78cfbd3a35fe61bd
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Wed Jun 13 14:50:07 2018 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Wed Jun 13 14:50:07 2018 -0700
tree
a28ccf0b11b42e3c198a9360eb0360c2c9f70acc
parent
4c370e45581c228b220097c8a1a3aa5bed70c82f [diff] 
checkpoint
10 files changed
tree: a28ccf0b11b42e3c198a9360eb0360c2c9f70acc
  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