WTF: Coq: Freie Software nimmt sich nach 30 Jahren des Namensproblems an
by from heise online News on (#5K2YV)
Coq ist eine franzosische Software, Englischsprachige denken bei dem Namen womoglich an anderes. Das sorgt fur Probleme, nun werden Alternativen diskutiert.