Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/a847571124fb54d932050dd656a7adb05c326ae6
commit
a847571124fb54d932050dd656a7adb05c326ae6
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Thu Aug 23 12:54:49 2018 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Thu Aug 23 13:08:31 2018 -0700
tree
ef240c4a48051029afd062d1a455fe350c8874af
parent
1776c0a30e4cf5b9abde59eeb2e061ee200207fc [diff] 
chore(library): remove `inverse.cpp`

We used this module to implement inductive_compiler pack/unpack functions
13 files changed
tree: ef240c4a48051029afd062d1a455fe350c8874af
  1. .github/
  2. bin/
  3. doc/
  4. extras/
  5. gen/
  6. images/
  7. leanpkg/
  8. library/
  9. old_tests/
  10. packages/
  11. script/
  12. src/
  13. tests/
  14. tmp/
  15. .appveyor.yml
  16. .clang-format
  17. .codecov.yml
  18. .gitattributes
  19. .gitignore
  20. .travis.yml
  21. LICENSE
  22. 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