Formal Verification

Remove exploratory modules (Lean + Python), update to v3.3.31 #646

Sign in to view logs

Triggered via push March 9, 2026 11:15

main

Status Success

Total duration 2m 51s

Artifacts –

verify.yml

on: push

Lean 4 Verification