Check formatting

Coq: use positive encoding to build eq_dec for variants #2536

Sign in to view logs

Triggered via push March 7, 2025 16:05

bacam

sail2

Status Success

Total duration 34s

Artifacts –

formatting.yml

on: push

Matrix: build