Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/coeOutParamIssue
commit
6f6bbfc7179677fe7c7f19cad2b58d5ab2d011cb
[log]
author
Leonardo de Moura <leonardo@microsoft.com>
Tue Jul 05 20:46:25 2022 -0700
committer
Leonardo de Moura <leonardo@microsoft.com>
Tue Jul 05 21:09:53 2022 -0700
tree
c686448d250f43990bc6a6f0636a10375c307400
parent
38e1f6ba824b8c6e64117c8a0850d54b09da59e2 [diff] 
feat: `outParam` and coercions experiment
6 files changed
tree: c686448d250f43990bc6a6f0636a10375c307400
  1. .github/
  2. .vscode/
  3. doc/
  4. images/
  5. nix/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .gitmodules
  13. .ignore
  14. CMakeLists.txt
  15. CONTRIBUTING.md
  16. default.nix
  17. flake.lock
  18. flake.nix
  19. LICENSE
  20. LICENSES
  21. README.md
  22. RELEASES.md
  23. shell.nix
README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.