skeuchel/language-coq
A pretty-printing solution for the Coq proof assistant language
HaskellBSD-3-Clause
No issues in this repository yet.
A pretty-printing solution for the Coq proof assistant language
HaskellBSD-3-Clause
No issues in this repository yet.