codyroux/name-the-biggest-number
View on GitHub ↗ ★ 69 Coq
3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2020-10-02 · latest 2022-03-11
20082026
-
But who can _prove_ the biggest number https://github.com/codyroux/name-the-biggest-number
comment by philzook · 2022-03-11 · in Who Can Name the Bigger Number? -
▲ 1
Name-the-Biggest-Numberstory by EvgeniyZh · 2020-10-11 · 0 comments
-
▲ 2
Name-the-Biggest-Numberstory by colinprince · 2020-10-02 · 0 comments