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: Apr 25 2024 at 08:20 UTC