Repository navigation

coq(CorePhi): replace proofs that were never checked by a compiler - #3343

Closed

gHashTag wants to merge 2 commits into

Closed

coq(CorePhi): replace proofs that were never checked by a compiler#3343
gHashTag wants to merge 2 commits into
masterfrom
w119b2-corephi

Commits on Sep 6, 2026
- ci(coq): report all thirteen files instead of stopping at the first error
  lab
  committed
  2d2beb0
- coq(CorePhi): replace proofs that were never checked by a compiler
  lab
  committed
  007b67f