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: Jan 04 2025 at 20:18 UTC