Sebastian Reiche

Homepages 🌐

https://www.linkedin.com/in/sebastian-reiche-0b2093178

Entries

2021

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

by Christoph Benzmüller and Sebastian Reiche

Nov 08