Sebastian Reiche

Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL

by Christoph Benzmüller 🌐 and Sebastian Reiche 🌐