|
|
8f89ebddf9
|
Accepting request 1237557 from home:nuklly
Lean 4 programming language and theorem prover.
Its build requires cadical: https://build.opensuse.org/requests/1237556
OBS-URL: https://build.opensuse.org/request/show/1237557
OBS-URL: https://build.opensuse.org/package/show/science/lean4?expand=0&rev=1
|
2025-01-14 15:38:55 +00:00 |
|
