mirror of
https://github.com/zap-proto/proofs.git
synced 2026-10-30 15:04:11 +00:00
zeekay
6cd94a29f7
Each proof is a standalone LaTeX document with theorems, lemmas, and explicit advantage bounds / reductions. All compile under TeX Live 2025.
21 lines
440 B
Makefile
21 lines
440 B
Makefile
PAPER=proof
|
|
LATEX=pdflatex
|
|
BIBER=biber
|
|
LATEXFLAGS=-interaction=nonstopmode -halt-on-error
|
|
|
|
.PHONY: all clean view
|
|
|
|
all: $(PAPER).pdf
|
|
|
|
$(PAPER).pdf: $(PAPER).tex refs.bib
|
|
$(LATEX) $(LATEXFLAGS) $(PAPER).tex
|
|
$(BIBER) $(PAPER) || true
|
|
$(LATEX) $(LATEXFLAGS) $(PAPER).tex
|
|
$(LATEX) $(LATEXFLAGS) $(PAPER).tex
|
|
|
|
clean:
|
|
rm -f *.aux *.bbl *.bcf *.blg *.log *.out *.run.xml *.toc *.synctex.gz $(PAPER).pdf
|
|
|
|
view: $(PAPER).pdf
|
|
open $(PAPER).pdf
|