Skip to content

Merge pull request #37 from int-y1/fix-typo #32

Merge pull request #37 from int-y1/fix-typo

Merge pull request #37 from int-y1/fix-typo #32

Annotations

1 warning

build (coqorg/coq:8.10)

succeeded Mar 7, 2024 in 3m 30s