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.
17 lines
311 B
Makefile
17 lines
311 B
Makefile
PAPER = proof
|
|
LATEX = pdflatex -interaction=nonstopmode -halt-on-error
|
|
|
|
.PHONY: all clean check
|
|
|
|
all: $(PAPER).pdf
|
|
|
|
$(PAPER).pdf: $(PAPER).tex
|
|
$(LATEX) $(PAPER).tex
|
|
$(LATEX) $(PAPER).tex
|
|
|
|
check:
|
|
$(LATEX) -draftmode $(PAPER).tex
|
|
|
|
clean:
|
|
rm -f $(PAPER).aux $(PAPER).log $(PAPER).out $(PAPER).toc $(PAPER).pdf
|