Skip to content
Ubuntu build

[Refractor] contradiction over ⊥-elim in antisymmetric def #4533

Sign in to view logs

[Refractor] contradiction over ⊥-elim in antisymmetric def

[Refractor] contradiction over ⊥-elim in antisymmetric def #4533

Triggered via pull request March 15, 2025 11:42
@jamesmckinnajamesmckinna
synchronize #2665
jmougeot:contradiction13
Status Success
Total duration 38m 39s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
38m 33s
test-stdlib
Fit to window
Zoom out
Zoom in