Skip to content

Change names of CoqChangeProofs to ProofChanges #126

Change names of CoqChangeProofs to ProofChanges

Change names of CoqChangeProofs to ProofChanges #126

Annotations

1 warning

The logs for this run have expired and are no longer available.