freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 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 · 2 months agomessage-square4fedilink
minus-squarerutrum@lm.paradisus.daylinkfedilinkarrow-up3·2 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?