this post was submitted on 15 May 2024
15 points (100.0% liked)

Python

1974 readers
1 users here now

A community for talking about the Python programming language.

founded 2 years ago
MODERATORS
csm10495@sh.itjust.works
15
Translation of Python code to Coq | Formal Land (formal.land)
submitted 9 months ago by freewifi@sh.itjust.works to c/python@sh.itjust.works
4 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] sugar_in_your_tea@sh.itjust.works 3 points 9 months ago* (last edited 9 months ago)

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.