Explore projects

A Verified Compiler for Gallina, Written in Gallina

Cinderella Tutorials (Cinderella, CindyScript & CindyJS) für die Hochschullehre erstellt mit BookDown (R).

Collection of various config files

XML files for the works in the First Thousand Years of Greek Project.