Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/12b8498a4a293eee904b548914d39609a59e0488
commit
12b8498a4a293eee904b548914d39609a59e0488
[log]
author
Kim Morrison <kim@tqft.net>
Wed May 21 14:42:53 2025 +1000
committer
Kim Morrison <kim@tqft.net>
Wed May 21 14:42:53 2025 +1000
tree
1e114951c263eaac607fd1354f61f7d9372ddaba
parent
c28b0525763b6afabee5e243f37b77a16c0be412 [diff] 
initial commit
5 files changed
tree: 1e114951c263eaac607fd1354f61f7d9372ddaba
  1. .github/
  2. doc/
  3. images/
  4. nix/
  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 Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.