freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 6 months agoTranslation of Python code to Coq | Formal Landformal.landexternal-linkmessage-square3fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTranslation of Python code to Coq | Formal Landformal.landfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 6 months agomessage-square3fedilink
minus-squarerutrum@lm.paradisus.daylinkfedilinkarrow-up0·6 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?