Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/gracious-segfault
commit
1f2afa4c25e2a48c8a979ca87936f3e7cd81dfd5
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Sat May 02 15:23:30 2020 +0200
committer
Sebastian Ullrich <sebasti@nullri.ch>
Mon May 04 11:11:12 2020 +0200
tree
292367ce67ae40466acbdda264d0f768fa941b9c
parent
d3115d8f587e05f48134985440ce0993b1e7a7a8 [diff] 
chore: CI: deactivate stack overflow tests for sanitized build
1 file changed
tree: 292367ce67ae40466acbdda264d0f768fa941b9c
  1. .github/
  2. bin/
  3. doc/
  4. images/
  5. lean4-mode/
  6. nix/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  11. tmp/
  12. .clang-format
  13. .codecov.yml
  14. .gitattributes
  15. .gitignore
  16. default.nix
  17. LICENSE
  18. README.md
  19. shell.nix
README.md

We are currently developing Lean 4. Lean 3 is still the latest official release. This repository contains work in progress.

Important. Unless you are one of our collaborators

  • We strongly suggest you use Lean 3.
  • Pull requests are not welcome.
  • New issues are not welcome, and will be closed without any feedback.