ramsey

Symfony Normalizer and Denormalizer for ramsey/uuid

The research about Ramsey Number based on Python.

The research about Ramsey Number based on C.

A archive repository for a research about colorize the Graphs.

A research repository about the Ramsey numbers and explore the new data in the mathematics field to write an article using One Programming Language.

Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]