Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/70746b499e1b0472bdc4c8bfe8d465b8ca37064f
commit
70746b499e1b0472bdc4c8bfe8d465b8ca37064f
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Tue Oct 23 15:09:55 2018 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Tue Oct 23 15:09:55 2018 -0700
tree
3d5e911b890895d4cb2c0518735cb9eca5322331
parent
3ee863da6857a77f1c956326a964b86a6ce461bf [diff] 
chore(library/vm): remove `BuiltinCases` and `NatCases` instructions

They are not needed anymore.
6 files changed
tree: 3d5e911b890895d4cb2c0518735cb9eca5322331
  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