hub.darcs.net :: zak

zak's repositories

• SimpleIncompleteness — An Agda proof of Smullyan's incompleteness with an accessible proof script