Docs
Coq
coq
Versions
v8.11
Timeout
16s
Test Frameworks
coq_codewars
Packages
v8.11
Equations
TLC
mathcomp
Languages
Edit on GitHub