#

ramsey

Here is 1 public repository matching this topic...

rocq-community / almost-full

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

coq termination ramsey paper-artifacts docker-coq-action nix-action

Updated Dec 30, 2023
Coq

Improve this page

Add a description, image, and links to the ramsey topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ramsey topic, visit your repo's landing page and select "manage topics."