Dmitry Roshchin 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

194 B

Raw Permalink Blame History

View Raw