@freewifi to PythonEnglish • 1 month agoTranslation of Python code to Coq | Formal Landformal.landexternal-linkmessage-square4arrow-up114arrow-down10
arrow-up114arrow-down1external-linkTranslation of Python code to Coq | Formal Landformal.land@freewifi to PythonEnglish • 1 month agomessage-square4
minus-square@sugar_in_your_tealink3•edit-21 month 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.