https://github.com/uds-psl/coq-library-undecidability
Tip revision: 43acd2efbc2c0c584d6e9b80452e84b16a611943 authored by Yannick Forster on 03 August 2020, 13:54:33 UTC
Merge pull request #58 from DmxLarchey/remove_prelim
Merge pull request #58 from DmxLarchey/remove_prelim
Tip revision: 43acd2e
Makefile
all:
+make -C theories all
install:
+make -C theories install
clean:
+make -C theories clean
html:
+make -C theories html
.PHONY: all install html clean