lean4

SHA256

Go to file

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

_constraints

Accepting request 1237557 from home:nuklly

2025-01-14 15:38:55 +00:00

_service

Accepting request 1237557 from home:nuklly

2025-01-14 15:38:55 +00:00

.gitattributes

Accepting request 1237557 from home:nuklly

2025-01-14 15:38:55 +00:00

.gitignore

Accepting request 1237557 from home:nuklly