Average-user/hydra-game
Implementation of the Hydra Game described in the paper Accessible independence results for Peano Arithmetic by L. Kirby and J. Paris.
HaskellMIT
Implementation of the Hydra Game described in the paper Accessible independence results for Peano Arithmetic by L. Kirby and J. Paris.
HaskellMIT