Puzzles and Games > Name the Biggest Number

Repository for submitting proven contenders for the title of biggest number in Coq.