Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/attach_simproc
commit
1e046db40740d3d1ef73fa49aa4945f9c94b9d8d
[log]
author
Kim Morrison <kim@tqft.net>
Thu Sep 26 12:13:42 2024 +1000
committer
Kim Morrison <kim@tqft.net>
Thu Sep 26 12:13:56 2024 +1000
tree
83c01441c63a72bb48799ae53bcf642606b532de
parent
90cb6e5da857f8d8c361dbef910206bb7c1cfe6d [diff] 
feat: simproc for functions out of Subtype

feat: simproc for functions out of Subtype
4 files changed
tree: 83c01441c63a72bb48799ae53bcf642606b532de
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. releases_drafts/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .ignore
  13. CMakeLists.txt
  14. CMakePresets.json
  15. CODEOWNERS
  16. CONTRIBUTING.md
  17. debug.log
  18. flake.lock
  19. flake.nix
  20. lean-toolchain
  21. lean.code-workspace
  22. LICENSE
  23. LICENSES
  24. README.md
  25. 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).