Python

1974 readers

1 users here now

A community for talking about the Python programming language.

founded 2 years ago

MODERATORS

csm10495@sh.itjust.works

Translation of Python code to Coq | Formal Land (formal.land)

submitted 9 months ago by freewifi@sh.itjust.works to c/python@sh.itjust.works

4 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] rutrum@lm.paradisus.day 3 points 9 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?

permalink
fedilink
source
parent