The best replacement for agda is coq.

The best alternatives to agda are rated as following:
★★★★★  coq
★★★★★  idris
★★  epigram

Your alternative for agda is not listed? Suggest!


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



Google Trends

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