name-the-biggest-number

GitHub
62 stars
10 watching
6 forks
Language: Coq
last commit: about 2 years ago
Linked from 1 awesome list


Backlinks from these awesome lists: