Revision 992e9b150a5f122ad3064993b4d1a66e36c596f6 authored by Dominique Larchey-Wendling on 28 October 2019, 22:07:51 UTC, committed by Dominique Larchey-Wendling on 28 October 2019, 22:07:51 UTC
of arity 1 that can decide any H10C problem, hence its own termination problem must be undecidable
1 parent f190272
.gitignore
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...