all: test-fstar test-coq test-lean

test-%:
	cd $* && $(MAKE) all