verify: Pin Lean 4.35.0, move projects 0.1 pinned, and certify with the pinned toolchain - #56

verify: Pin Lean 4.35.0, move projects 0.1 pinned, and certify with the pinned toolchain#56

SwayamInSync merged 13 commits into

mainSwayamInSync/cpp-verify:mainfrom

fix/lean-pinSwayamInSync/cpp-verify:fix/lean-pinCopy head branch name to clipboard