programming languages

Rank

Coq

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

All statements