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
AllStoriesComments NewestTopOldest
  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?