programming languages

Rank

Coq

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

All statements