Skip to content
Ubuntu build

[Refractor] contradiction over ⊥-elim in ¬¬-pull def #4535

Sign in to view logs

[Refractor] contradiction over ⊥-elim in ¬¬-pull def

[Refractor] contradiction over ⊥-elim in ¬¬-pull def #4535

Triggered via pull request March 15, 2025 11:53
@jamesmckinnajamesmckinna
synchronize #2659
jmougeot:contradiction6
Status Success
Total duration 36m 48s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
36m 44s
test-stdlib
Fit to window
Zoom out
Zoom in