Skip to content
Check whitespace

[Refractor] ⊥-elim to contradiction1 in asym⇒antisym def #1437

Sign in to view logs

[Refractor] ⊥-elim to contradiction1 in asym⇒antisym def

[Refractor] ⊥-elim to contradiction1 in asym⇒antisym def #1437

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-whitespace
7s
7s