Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/cf3bbd7e25cbd3b1044c861508e2ea5d47040dc5
commit
cf3bbd7e25cbd3b1044c861508e2ea5d47040dc5
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Mon Mar 11 18:05:40 2019 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Mon Mar 11 18:05:40 2019 -0700
tree
3aafd3a6076f1d7daa6cff1c750706d17ba00a67
parent
609b8e87e5e99fec8edcbd48c248aec52f89fe9f [diff] 
feat(runtime): add `utf8_prev` and `utf8_set`

Next goal: implement string.iterator in Lean
15 files changed
tree: 3aafd3a6076f1d7daa6cff1c750706d17ba00a67
  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