DanGrayson/coq-tex
Process coq code in a tex file, adding coq's output to the tex file so it appears in the final document.
C
No issues in this repository yet.
Process coq code in a tex file, adding coq's output to the tex file so it appears in the final document.
C
No issues in this repository yet.