hub.darcs.net :: zak -> SimpleIncompleteness -> files

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

root

  • darcsden 1.2 beta built Jun 23 201810:48:19
  • report problems to simon