Skip to content

Language Coq

Jump to bottom
kazk edited this page Apr 15, 2019 · 21 revisions

Status

Unreleased

Versions

8.9.0

Test Frameworks

None. Make the program type check.

Timeout

12 seconds

Packages

None

Services

None

About

Reference

Tutorials

Kata QA

Clone this wiki locally