Skip to the content.

Towards Closing the Trust Gap in the SAT Certification of Ramsey Numbers R(3,8) and R(3,9)

by Cruise Song and David E. Narvaez

Blueprint (web) Blueprint (pdf) Documentation GitHub

Useful links:

Zulip chat for Lean for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

RamseyLemmas is maintained by Cruise Song \and David E. Narvaez. Visit the GitHub repository for more information.