programming languages

Rank

Coq

Based on 3968 responses from 322 people, this is the picture we've built up of Coq.

All statements