Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/483125f828bca0e34fc19fed4b13a7b57218d4d1
commit
483125f828bca0e34fc19fed4b13a7b57218d4d1
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Fri Feb 22 17:42:16 2019 -0800
committer
Leonardo de Moura <leonardo@microsoft.com>
Fri Feb 22 17:43:27 2019 -0800
tree
f595417654065191d9468ab19c1e983fecd526a6
parent
b971db6c110ce1255290b28832a4c4b6f1275a11 [diff] 
test(tests/playground/rbmap): rbmap in OCaml
1 file changed
tree: f595417654065191d9468ab19c1e983fecd526a6
  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