Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/3b06c52d4f0dc63dcd321debebe64f43a3074073
commit
3b06c52d4f0dc63dcd321debebe64f43a3074073
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Fri Mar 01 20:24:29 2019 +0100
committer
Sebastian Ullrich <sebasti@nullri.ch>
Tue Mar 05 15:44:42 2019 +0100
tree
9521ad1b18017965d31e861a2d6ef8cc9fda1813
parent
069c07fa39b09ab306d0eea8299f00b8f7a4b72d [diff] 
test(tests/playground/Makefile): re-add original ocamlopt parameters

This reverts commit 8e212ef9d9345fa1a8ba92e7cde466b0a3e07bb5.
1 file changed
tree: 9521ad1b18017965d31e861a2d6ef8cc9fda1813
  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