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-up1·7 months agoI like the motivation of the problem: use mathematical rigor to guaruntee something that is complex and certainty is a requirement, like crypotcurrency, is valid.
I like the motivation of the problem: use mathematical rigor to guaruntee something that is complex and certainty is a requirement, like crypotcurrency, is valid.