Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/4c370e45581c228b220097c8a1a3aa5bed70c82f
commit
4c370e45581c228b220097c8a1a3aa5bed70c82f
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Wed Jun 13 12:20:58 2018 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Wed Jun 13 12:20:58 2018 -0700
tree
44c02df6768c27f233a8ea4cab13f07583876479
parent
017e1d7a5f8ad6cd10dfcf381b355110ad216671 [diff] 
refactor(kernel/expr): fix binder_info
9 files changed
tree: 44c02df6768c27f233a8ea4cab13f07583876479
  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