Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expected_as_unit
commit
79b2406ffc65e987c230d7c74e05b2335470f9b6
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Tue Mar 05 09:15:20 2019 -0800
committer
Leonardo de Moura <leonardo@microsoft.com>
Tue Mar 05 09:15:20 2019 -0800
tree
8ddcc68d39707cb31992df454a5c3ca0de18ff53
parent
ed4cd39d593a680885471080efc0722334022baf [diff] 
checkpoint
25 files changed
tree: 8ddcc68d39707cb31992df454a5c3ca0de18ff53
  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