#

coqc

Here are 2 public repositories matching this topic...

antalsz / coqc-expand-errors

Run `coqc` and print out colorized Coq error location information

development coq coqc

Updated Oct 24, 2018
Haskell

vzaliva / coq-min-imports

Script to remove unnecessary module imports from Coq sourcess

Updated Dec 27, 2022
OCaml

Improve this page

Add a description, image, and links to the coqc topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the coqc topic, visit your repo's landing page and select "manage topics."