Skip to content

Coq prooftree: recognize "2 : {" as navigation command

953ff2e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Coq prooftree: recognize "2 : {" as navigation command #840

Coq prooftree: recognize "2 : {" as navigation command
953ff2e
Select commit
Loading
Failed to load commit list.

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