Repository navigation

fix(ci): formal-verification — make creusot-verify prover install actually installable (refs #250) - #298

Merged

hyperpolymath merged 1 commit into

mainfrom

fix/250-creusot-alt-ergo

Jul 1, 2026

Merged

fix(ci): formal-verification — make creusot-verify prover install actually installable (refs #250)#298
hyperpolymath merged 1 commit into
mainfrom
fix/250-creusot-alt-ergo

Commits on Jul 1, 2026
- fix(ci): formal-verification — make creusot-verify prover install actually installable (refs #250)
  
  hyperpolymath
  and
  claude
  committed
  355497f