Lean4
Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.
- Sources inherited from project science
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:redwil:15.6/lean4 && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| _constraints | 0000000572 572 Bytes | |
| _service | 0000000576 576 Bytes | |
| fix-lib-install-dir.patch | 0000000522 522 Bytes | |
| fix-rpath.patch | 0000000853 853 Bytes | |
| lean4-4.15.0.tar.zst | 0017782349 17 MB | |
| lean4.changes | 0000000194 194 Bytes | |
| lean4.spec | 0000003230 3.15 KB | |
| prevent-copying-of-example-files.patch | 0000000604 604 Bytes |
Comments 0