Skip to content

simplify proofs

simplify proofs #21

Annotations

1 warning

build (coqorg/coq:8.15)

succeeded May 17, 2024 in 2m 53s