[Agda] Ramsey theorem

[David Wahlstedt]

Yes!
See
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.IntuitionisticRamseyTheorem

Best regards,
David
 Den 4 jul 2014 13:29 skrev "Sergei Meshveliani" <mechvel at botik.ru>:

> 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
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140704/0a1b2758/attachment.html