Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Implementation of PCF (inspired by lecture "Monad-Based Programming") in Coq
Formalization of numbers (Z,Q, ...), inspired by the lecture "Didaktik der Arithmetik"
An attempt at a Coq formalization of Zermelo-Fränkel set theory.