Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/949cf6924649a3ad3aa934ee4466438bd6994064
commit
949cf6924649a3ad3aa934ee4466438bd6994064
[log]
author
Alok Singh <alokbeniwal@gmail.com>
Mon Dec 15 06:30:21 2025 -0800
committer
GitHub <noreply@github.com>
Mon Dec 15 14:30:21 2025 +0000
tree
05569399898f26311c1a06d4f08c28b1cc25d076
parent
e02f229305b3450cc119692109a44d46217c180b [diff] 
chore: use backticks for `sorry` in diagnostic messages (#11608)

This PR changes the "declaration uses 'sorry'" warning to use backticks
instead of single quotes, consistent with Lean's conventions for
formatting code identifiers in diagnostic messages.
86 files changed
tree: 05569399898f26311c1a06d4f08c28b1cc25d076
  1. .claude/
  2. .github/
  3. doc/
  4. images/
  5. releases_drafts/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .gitpod.Dockerfile
  13. .gitpod.yml
  14. .ignore
  15. CMakeLists.txt
  16. CMakePresets.json
  17. CODEOWNERS
  18. CONTRIBUTING.md
  19. flake.lock
  20. flake.nix
  21. lean-toolchain
  22. lean.code-workspace
  23. LICENSE
  24. LICENSES
  25. README.md
  26. RELEASES.md
README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.