Dmitry Roshchin
8f89ebddf9
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
2 lines
5 B
Plaintext
2 lines
5 B
Plaintext
.osc
|