Skip to content

Latest commit

 

History

History
7 lines (4 loc) · 282 Bytes

README.md

File metadata and controls

7 lines (4 loc) · 282 Bytes

Exercism Coq Track

Status

A bit of work has been done to configure this track, and it has 3 exercises.

If you wish to work on this track, please post in the Exercism Community Forum to discuss it with the team.