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-squaresugar_in_your_tea@sh.itjust.workslinkfedilinkarrow-up3·edit-27 months agoCoq. 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.
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.