.PHONY: verify certificate seeds m-regression

PYTHON ?= .venv/bin/python

verify: certificate seeds m-regression

certificate:
	$(PYTHON) certify_theorem.py --no-write

seeds:
	$(PYTHON) verify_q0.py

m-regression:
	$(PYTHON) test_m_value.py
