https://github.com/uds-psl/coq-library-undecidability
Tip revision: ae77c0b38dbafdd9dbc15efdae68a3b1ef5ef7ef authored by Dominique Larchey-Wendling on 07 May 2021, 10:19:59 UTC
typo in summary.v
typo in summary.v
Tip revision: ae77c0b
Makefile
all:
export TIMED
@+$(MAKE) -C theories all
force Makefile: ;
%: force
@+$(MAKE) -C theories $@
.PHONY: all force