Revision 9f98aeb9fd692b150772334ba511a00e699e26e9 authored by Fabian Kunze on 20 November 2020, 09:19:41 UTC, committed by GitHub on 20 November 2020, 09:19:41 UTC
1 parent 24aeac1
.gitmodules
[submodule "coq-library-undecidability"]
path = coq-library-undecidability
url = git@github.com:fakusb/coq-library-undecidability.git
branch = Compiler_L_TM
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...