Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/small_allocator
commit
8d477812255877e31798d9c018858b8a6d988a45
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Fri Feb 22 18:22:16 2019 -0800
committer
Leonardo de Moura <leonardo@microsoft.com>
Fri Feb 22 18:22:16 2019 -0800
tree
ba519a21e06db75e5344abab9b61fc30df66fe7b
parent
483125f828bca0e34fc19fed4b13a7b57218d4d1 [diff] 
experiment
2 files changed
tree: ba519a21e06db75e5344abab9b61fc30df66fe7b
  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