https://github.com/uds-psl/coq-library-undecidability
Raw File
Tip revision: 3889ccf7b82640f6a73bc6abb4d9391040c41328 authored by Yannick Forster on 29 October 2020, 15:10:29 UTC
Update build status link to travis.com
Tip revision: 3889ccf
.gitmodules
File is empty
back to top