/googology-in-coq

Googology in Coq

Primary LanguageCoq

Stargazers