this post was submitted on 15 May 2024
1 points (100.0% liked)

Python

1921 readers
1 users here now

A community for talking about the Python programming language.

founded 1 year ago
MODERATORS
[email protected]
1
Translation of Python code to Coq | Formal Land (formal.land)
submitted 6 months ago by [email protected] to c/[email protected]
3 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 0 points 6 months ago

Its pronounced "coke" I believe. Its named after the french mathematician Thierry Coquand. Apparently coq is also a name for rooster. According to wikipedia, computer science in France frequently names things after animals? Idk dont we all?