Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/pos
commit
63b0146c05e04daf71f31fe10f40ec0b470b1f6d
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Thu Dec 20 12:59:18 2018 +0100
committer
Sebastian Ullrich <sebasti@nullri.ch>
Thu Dec 20 12:59:18 2018 +0100
tree
b5c31e79ae1ad0f34d4a33c7e8d19ecffc7f20d4
parent
a00d93cf228f8f08f4b483969f727021b7e52f9f [diff] 
feat(lean4-mode/lean4-flycheck): add `lean4-bootstrapped-checker`
1 file changed
tree: b5c31e79ae1ad0f34d4a33c7e8d19ecffc7f20d4
  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