Forked from
Verified Software / psvg.doc.ic.ac.uk
645 commits behind the upstream repository.
-
Thomas Wood authoredThomas Wood authored
.gitmodules 136 B
[submodule "publications"]
path = publications
url = https://gitlab.doc.ic.ac.uk/resource-reasoning/publications.git
branch = master