Avigad’s Notes on Computability, Incompleteness

Progress by rzach

Jeremy Avigad’s notes in incompleteness and computability are now incorporated into the repository.