Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/02e917793e07d480ee09bda7b51210b976b47e6d
commit
02e917793e07d480ee09bda7b51210b976b47e6d
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Tue May 25 15:24:31 2021 +0200
committer
Sebastian Ullrich <sebasti@nullri.ch>
Tue May 25 15:24:54 2021 +0200
tree
916906160486076edb80ea67339caaf07254307d
parent
ef475de45b93afff85d7657d001f13c22ad5cad4 [diff] 
chore: Nix: default `lean-dev` to Lean w/ package

Restores `lean4-diff-test-file` and similar functionality
1 file changed
tree: 916906160486076edb80ea67339caaf07254307d
  1. .github/
  2. doc/
  3. images/
  4. lean4-mode/
  5. nix/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. tmp/
  11. .gitattributes
  12. .gitignore
  13. CMakeLists.txt
  14. CONTRIBUTING.md
  15. default.nix
  16. flake.lock
  17. flake.nix
  18. LICENSE
  19. README.md
  20. 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.