Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/case_merge
commit
dbcd453d0d7d2d919bf6522ec6ca7765cf790602
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Tue Apr 02 08:27:27 2019 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Tue Apr 02 08:28:06 2019 -0700
tree
12b247144b3dd64418458be90abfa6883a0e131c
parent
b083b6b655b80e5cdff18a6ed9cbd238b1a1aea6 [diff] 
feat(library/compiler/csimp): add "case merging" optimization
2 files changed
tree: 12b247144b3dd64418458be90abfa6883a0e131c
  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