Check whitespace

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

Sign in to view logs

Triggered via pull request March 15, 2025 11:53

synchronize #2659

jmougeot:contradiction6

Status Success

Total duration 9s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace