/agda-Ramsey-theorem

Intuitionistic Ramsey theorem (a proof in Agda)

Primary LanguageAgda

Watchers