Language Coq

Jump to bottom

kazk edited this page May 23, 2019 · 21 revisions

Status

Beta

Versions

8.9.0

Test Frameworks

None. Make the program type check.

Timeout

12 seconds

Packages

Equations

Services

None

About

Reference

Tutorials

Kata QA

Clone this wiki locally