Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/be96fd8cef23e37af3373696c6baa4b420195b98
commit
be96fd8cef23e37af3373696c6baa4b420195b98
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Tue Jan 07 12:03:04 2025 +0000
committer
GitHub <noreply@github.com>
Tue Jan 07 12:03:04 2025 +0000
tree
1239e33112f05e83306611e3788158278d2ef6ea
parent
958c3a23f464599105c0455073ca72f3d471f850 [diff] 
gah
1 file changed
tree: 1239e33112f05e83306611e3788158278d2ef6ea
  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 (documentation source: doc/make/index.md).