Skip to content
Back to pull request #17467

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

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 #6643

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