Der beste Ersatz für coq ist agda.

Die besten Alternativen zu coq können folgend geordnet werden:
★★★★★  agda
★★★★  idris
★★★★  isabelle
★★★★  copq
★★★  twelf
★★  hol
★  poule
  20 francs

Eine gute Alternative für coq ist nicht aufgelistet? Schlagen Sie etwas vor!


Zur Zeit habe ich keine Ahnung über Begleiter von coq
Andere Ideen? Dann den Begleiterbegriff zu coq hier eingeben: Schlagen Sie etwas vor!



Google Trends

Scale is based on the average worldwide traffic of coq in all years. Click on graph for more.
coq
agda
idris