antalsz / coqc-expand-errors

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

Geek Repo

Github PK Tool