.PHONY: verify lean audit paper

verify:
	python3 scripts/verify_seven_prime_support.py

lean:
	cd formal && lake build

audit:
	cd formal && lake env lean Audit.lean

paper:
	cd paper && latexmk -pdf -interaction=nonstopmode -halt-on-error main.tex

