Coq

coq

Versions

v8.11

Timeout

16s

Test Frameworks

  • coq_codewars

Packages