Publications

A Constructive Theory of Regular Languages in Coq (pdf)

Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka

(Based on my Bachelor Thesis)