Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] new in the AFP: The BKR Decision Procedure for...


view this post on Zulip Email Gateway (Apr 25 2021 at 15:40):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce yet another contribution (we are nearing #600!), by
Katherine Cordwell, Yong Kiam Tan and André Platzer:

It’s online at https://www.isa-afp.org/entries/BenOr_Kozen_Reif.html

Larry


Last updated: Dec 05 2021 at 22:18 UTC