Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/iterator_in_lean
commit
af29d8591308a4b7fec2ad810fcea13e999dfb74
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Mon Mar 11 18:37:41 2019 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Mon Mar 11 18:37:41 2019 -0700
tree
a68b55eaa554511afb074565cb3b4253ec239e13
parent
cf3bbd7e25cbd3b1044c861508e2ea5d47040dc5 [diff] 
checkpoint
5 files changed
tree: a68b55eaa554511afb074565cb3b4253ec239e13
  1. .github/
  2. bin/
  3. doc/
  4. gen/
  5. images/
  6. lean4-mode/
  7. library/
  8. script/
  9. src/
  10. tests/
  11. .appveyor.yml
  12. .clang-format
  13. .codecov.yml
  14. .gitattributes
  15. .gitignore
  16. .travis.yml
  17. LICENSE
  18. 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