Coq ist eine französische Software, Englischsprachige denken bei dem Namen womöglich an anderes. Das sorgt für Probleme, nun werden Alternativen diskutiert.
Jetzt mitmachen!
Sie haben noch kein Benutzerkonto auf unserer Seite? Registrieren Sie sich kostenlos und nehmen Sie an unserer Community teil!