all:
	cd fstar && $(MAKE) all
	cd coq && $(MAKE) all