/grahams-number-agda

moved here: https://github.com/MatthiasHu/grahams-number-in-proof-assistants

Primary LanguageAgda

This repository is not active