programming languages

Rank

Coq

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

All statements