C

cpscoq

An abortive attempt by Ulrich R. to formalize de Groote's paper