This repository is not active
MatthiasHu/grahams-number-agda
moved here: https://github.com/MatthiasHu/grahams-number-in-proof-assistants
Agda
moved here: https://github.com/MatthiasHu/grahams-number-in-proof-assistants
Agda
This repository is not active