Skip to content

Merge PR #20052: Fix Rocq Proof Assistant -> Rocq Prover in rocq --ve… #4597

Merge PR #20052: Fix Rocq Proof Assistant -> Rocq Prover in rocq --ve…

Merge PR #20052: Fix Rocq Proof Assistant -> Rocq Prover in rocq --ve… #4597