Certified Termination in Agda
Texte, Software, Beispiele zur Computermusik
fork of https://github.com/noschinl/cyp for use with Leipzig autotool
bounded model checker