We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
update to lean-v4.25.0 release
update lean version to v4.24.0
update lean version to v4.23.0
update toolchain to v4.20.0
update toolchain to v4.19.0
set toolchain to lean-v4.18.0
update to lean v4.17.0