Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/left_right
commit
c27ffa22b27789412a9b03c8e3d93514c615388f
[log]
author
Scott Morrison <scott.morrison@gmail.com>
Mon Feb 12 20:32:22 2024 +1100
committer
Scott Morrison <scott.morrison@gmail.com>
Mon Feb 12 20:32:22 2024 +1100
tree
f02e45da21eaba8d6617be6684af4fdd472e092c
parent
2ae7fde0f4d28bf99df08331489b198f9d5a7e48 [diff] 
use throwTacticEx
1 file changed
tree: f02e45da21eaba8d6617be6684af4fdd472e092c
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. script/
  6. src/
  7. stage0/
  8. tests/
  9. .gitattributes
  10. .gitignore
  11. .ignore
  12. CMakeLists.txt
  13. CODEOWNERS
  14. CONTRIBUTING.md
  15. default.nix
  16. flake.lock
  17. flake.nix
  18. lean-toolchain
  19. lean.code-workspace
  20. LICENSE
  21. LICENSES
  22. README.md
  23. RELEASES.md
  24. shell.nix
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.