Publications
A Constructive Theory of Regular Languages in Coq (pdf)
Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
(Based on my Bachelor Thesis)
A Constructive Theory of Regular Languages in Coq (pdf)
Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
(Based on my Bachelor Thesis)