Skip to main content

Browse the archive

Revision f87234f0c955abab5ac0dc02a77d6c3809def69c authored by Fabian Kunze on 04 December 2020, 19:49:05 UTC, committed by Fabian Kunze on 04 December 2020, 19:49:05 UTC 
incorperated the "proof using type"s from undec
1 parent 50a2ec6
Raw File
.gitmodules 
[submodule "coq-library-undecidability"]
	path = coq-library-undecidability
	url = git@github.com:fakusb/coq-library-undecidability.git
	branch = Compiler_L_TM
back to top