[Agda] Ramsey theorem

Sergei Meshveliani mechvel at botik.ru
Fri Jul 4 13:29:44 CEST 2014


People,

is there publicly available a proof  in Agda  of the  Ramsey's theorem
(about the size of a monochromatic sub-graph in a complete graph)
?

Thanks,

------
Sergei 



More information about the Agda mailing list