Formalization of Ramsey Theory in Lean (work in progress)
Primary LanguageLeanGNU Lesser General Public License v2.1LGPL-2.1