GitHub repository: Hexirp/googology-in-coq
Primary language: Coq
Created: 2020-03-27T05:06:24Z
Description: Googology in Coq