Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/2a67a49f312cd7272b02036396f00b1c022e7cfd
commit
2a67a49f312cd7272b02036396f00b1c022e7cfd
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Tue Feb 11 19:55:45 2025 -0800
committer
GitHub <noreply@github.com>
Wed Feb 12 03:55:45 2025 +0000
tree
bac77448cc841893a75e2ec244b7e85bef81bc56
parent
fb2e5e5555503a29728ca42c0553b0bf8230fa5f [diff] 
chore: `simp_arith` has been deprecated (#7043)

This PR deprecates the tactics `simp_arith`, `simp_arith!`,
`simp_all_arith` and `simp_all_arith!`. Users can just use the `+arith`
option.
59 files changed
tree: bac77448cc841893a75e2ec244b7e85bef81bc56
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. releases/
  6. releases_drafts/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  11. .gitattributes
  12. .gitignore
  13. .gitpod.Dockerfile
  14. .gitpod.yml
  15. .ignore
  16. CMakeLists.txt
  17. CMakePresets.json
  18. CODEOWNERS
  19. CONTRIBUTING.md
  20. flake.lock
  21. flake.nix
  22. lean-toolchain
  23. lean.code-workspace
  24. LICENSE
  25. LICENSES
  26. README.md
  27. 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).