Skip to content
Back to pull request #17467

Validate Proof command: runs typing.ml on the current proof #5970

Sign in to view logs

Validate Proof command: runs typing.ml on the current proof

Validate Proof command: runs typing.ml on the current proof #5970

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