Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/joachim/float-pat
commit
ae0bb5ce838328dd33de203b0604dad1663def4f
[log]
author
Joachim Breitner <mail@joachim-breitner.de>
Thu Jun 25 14:36:24 2026 +0000
committer
Joachim Breitner <mail@joachim-breitner.de>
Thu Jun 25 14:36:24 2026 +0000
tree
c95a3c45a8a233cd697cfa0156fc3af5c725919a
parent
09ccd113858017a40586d91ebd4ac16b99536fed [diff] 
More test
1 file changed
tree: c95a3c45a8a233cd697cfa0156fc3af5c725919a
  1. .claude/
  2. .github/
  3. .vscode/
  4. doc/
  5. images/
  6. releases_drafts/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  11. AGENTS.md ⇨ .claude/CLAUDE.md
  12. .gitattributes
  13. .gitignore
  14. .gitpod.Dockerfile
  15. .gitpod.yml
  16. .ignore
  17. CMakeLists.txt
  18. CMakePresets.json
  19. CODEOWNERS
  20. CONTRIBUTING.md
  21. flake.lock
  22. flake.nix
  23. lean-toolchain
  24. LICENSE
  25. LICENSES
  26. README.md
  27. 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.