15.06.2021 10:36 Uhr, Quelle: Heise

WTF: Freie Software Coq: Nach 30 Jahren wird der Name zum Problem

Coq ist eine französische Software, Englischsprachige denken bei dem Namen womöglich an anderes. Das sorgt für Probleme, nun werden Alternativen diskutiert.

Weiterlesen bei Heise