Skip to content

chore: bump toolchain to v4.16.0 #110

chore: bump toolchain to v4.16.0

chore: bump toolchain to v4.16.0 #110

build lean4-cli

succeeded Feb 3, 2025 in 16s