/ramsey

Formalization of Ramsey Theory in Lean (work in progress)

Primary LanguageLeanGNU Lesser General Public License v2.1LGPL-2.1

No issues in this repository yet.