Coq proofs about Hofstadter's function G
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.