incompleteness-notes/index.html, branch gh-pages Notes for "Incompleteness and Undecidability in Formal Languages" https://git.yuv.al/incompleteness-notes/atom/index.html?h=gh-pages 2014-10-28T08:23:35Z Add github ribbon 2014-10-28T08:23:35Z Yuval Adam yuv.adm@gmail.com 2014-10-27T08:54:37Z urn:sha1:15c34fa88b85308f6a503beaff3b307e764bc544 Move to index.html 2014-10-28T08:23:35Z Yuval Adam yuv.adm@gmail.com 2014-10-27T08:52:27Z urn:sha1:31e69072d5e82d8feaf988bc756e634586d70da5