this post was submitted on 15 May 2024
15 points (100.0% liked)
Python
2122 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
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.
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?