Skip to content

Update lean4 toolchain to v4.28.0

107e3d0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Update lean4 toolchain to v4.28.0 #55

Update lean4 toolchain to v4.28.0
107e3d0
Select commit
Loading
Failed to load commit list.

Annotations

3 warnings
build-macos
succeeded Mar 11, 2026 in 1m 55s