Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Kleene Algebras with Domain

view this post on Zulip Email Gateway (Aug 22 2022 at 13:09):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce another AFP entry, adding to our already substantial coverage of Kleene Algebras, and incidentally the 12th contribution of 2016.

http://afp.sourceforge.net/entries/KAD.shtml

Many thanks for this development!

Larry Paulson

Last updated: Nov 21 2024 at 12:39 UTC