The best replacement for coq is agda.

The best alternatives to coq are rated as following:
★★★★★  agda
★★★★  idris
★★★★  isabelle
★★★★  copq
★★★  twelf
★★  hol
★  poule
  20 francs

Your alternative for coq is not listed? Suggest!


No companions for coq have been suggested so far.
You have in mind a companion for coq and it is not yet here? Propose!



Google Trends

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