Hacker GitHub

← All repos

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

Mentions per year 3 mentions · busiest year 2020 (2)
20082026
  1. 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?
  2. ▲ 1
    Name-the-Biggest-Number
    story by EvgeniyZh · 2020-10-11 · 0 comments
  3. ▲ 2
    Name-the-Biggest-Number
    story by colinprince · 2020-10-02 · 0 comments