this post was submitted on 15 May 2024
15 points (100.0% liked)
Python
2100 readers
1 users here now
A community for talking about the Python programming language.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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?
Coq. They just want to Python and Coq interchangeably so they can prove their Python/Coq is free of bugs. It's just a way to get your Python/Coq tested to ensure it's clean to use, and ideally it would be tested frequently.