Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/region_stack_objs
commit
e891f56008fe93015946895ea6a7b56eb5acfb28
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Tue Aug 28 07:24:12 2018 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Tue Aug 28 07:24:12 2018 -0700
tree
a679e96703df74c023b4893cae47789c7059b218
parent
663213fc1b06c9d8f3f64dc9f26a7bfb5b3b02df [diff] 
fix(library/init/meta/pos): missing file
1 file changed
tree: a679e96703df74c023b4893cae47789c7059b218
  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