endrazine/rice-constructive

Initial release: constructive proof of Rice's theorem via MRDP

语言：TeX · GitHub 星标：3 · Fork：0

在 GitHub 上查看原仓库