Theorem Provers as a Learning Tool in Theory of Computation.

Maria Knobelsdorf, Christiane Frede, Sebastian Bhne, Christoph Kreitz

Browse the full ICER paper archive.