Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/macro-parens
commit
ee8ed76fb374d16fd24446b5a0ece0c4ed0c1ea9
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Sat Jul 02 18:59:11 2022 +0200
committer
Sebastian Ullrich <sebasti@nullri.ch>
Thu Jul 07 11:04:51 2022 +0200
tree
b534fdae3b260ad2be1e8f2ee4e65db3a7359985
parent
0c30372f93199f7e021f5773c8fd824af2b3668c [diff] 
fix: bound syntax kind at `v:(ppSpace ident)` etc.
4 files changed
tree: b534fdae3b260ad2be1e8f2ee4e65db3a7359985
  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.