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
6 lines
194 B
Plaintext
6 lines
194 B
Plaintext
-------------------------------------------------------------------
|
|
Sun Jan 5 06:13:52 UTC 2025 - Xu Zhao <i@xuzhao.net>
|
|
|
|
- Initial commit version 4.15.0
|
|
* See RELEASES.md for release notes.
|