Coq

coq

Versions

v8.11

Timeout

16s

Test Frameworks

  • coq_codewars

Packages

v8.11

Edit on GitHub