SHA-256 dff5e8d9150e29e6cd2f9e63bc2fece06649b14c4adf43d7538c4afe1ad9036a · download the original
Lean (version 4.24.0, arm64-apple-darwin23.6.0, commit 797c613eb9b6d4ec95db23e3e00af9ac6657f24b, Release)