Build dependencies on Debian-based systems include, at least:
apt-get install texlive texlive-science texlive-fonts-extra
texlive-generic-recommended texlive-bibtex-extra biber latexmk perl awk
After installing the dependencies, just use make.
daira/zkproof
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|