Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: The Cook-Levin Theorem


view this post on Zulip Email Gateway (Jan 10 2023 at 16:48):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce a truly substantial and impressive AFP entry. The title and abstract say it all:

https://www.isa-afp.org/entries/Cook_Levin.html

Larry Paulson


Last updated: Mar 29 2024 at 08:18 UTC