freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 7 months agoTranslation of Python code to Coq | Formal Landformal.landexternal-linkmessage-square4fedilinkarrow-up114arrow-down10
arrow-up114arrow-down1external-linkTranslation of Python code to Coq | Formal Landformal.landfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 7 months agomessage-square4fedilink
minus-squarerutrum@lm.paradisus.daylinkfedilinkarrow-up3·7 months agoIts 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?
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?