P. Höfner

(coming soon)

Download data corresponding to my thesis here.

We have done more proof experiments, including idempotent semirings, Kleene algebras, omega algebras and demonic refinement algebras. The files concerning these experiments can be found in a proof database.