Name the Biggest Number

github.comtool

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

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Puzzles and Games: “Repository for submitting proven contenders for the title of biggest number in Coq.”