Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/47170ea3e5cc4accfb3fc0ec11250fb62a27492e
commit
47170ea3e5cc4accfb3fc0ec11250fb62a27492e
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Thu Feb 14 17:54:23 2019 +0100
committer
Sebastian Ullrich <sebasti@nullri.ch>
Thu Feb 14 17:59:08 2019 +0100
tree
b3fc3c329dc0987fa5056563f69227051ade2797
parent
ec7687f4008c1f3e6e86caf2649ae1f23e39d7f4 [diff] 
chore(frontends/lean/vm_elaborator): ignore [extern] for now
1 file changed
tree: b3fc3c329dc0987fa5056563f69227051ade2797
  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