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.
- Links to science / lean4
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:darix:playground/lean4 && cd $_ - Create Badge
Refresh
Source Files (show merged sources derived from linked package)
| Filename | Size | Changed |
|---|---|---|
| _constraints | 0000000572 572 Bytes | |
| _link | 0000000115 115 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