Check formatting

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

Sign in to view logs

Triggered via pull request March 7, 2025 15:30

bacam

opened #1118

bacam:coq-eq-dec

Status Success

Total duration 52s

Artifacts –

formatting.yml

on: pull_request

Matrix: build