Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/removedir
commit
692ddbafb0f4cf6c3c3268a9cf5cffde98e58d2e
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Thu Sep 16 14:30:24 2021 +0200
committer
Sebastian Ullrich <sebasti@nullri.ch>
Thu Sep 16 14:30:45 2021 +0200
tree
efeff8e3ace8d4760ae3d9e318a3691b0c68d728
parent
a032595f1b9f4697dfb939790d449e1d4ffd1923 [diff] 
feat: IO.FS.removeDir(All)
2 files changed
tree: efeff8e3ace8d4760ae3d9e318a3691b0c68d728
  1. .github/
  2. .vscode/
  3. doc/
  4. images/
  5. lean4-mode/
  6. nix/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  11. tmp/
  12. .gitattributes
  13. .gitignore
  14. CMakeLists.txt
  15. CONTRIBUTING.md
  16. default.nix
  17. flake.lock
  18. flake.nix
  19. LICENSE
  20. README.md
  21. shell.nix
README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.