Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: the Sauer-Shelah Lemma

view this post on Zulip Email Gateway (Nov 28 2022 at 16:43):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce another contribution in combinatorics: the Sauer-Shelah Lemma, by Ata Keskin.

Online now at https://www.isa-afp.org/entries/Sauer_Shelah_Lemma.html

Larry Paulson

Last updated: Jan 04 2025 at 20:18 UTC