We are starting to work on a new product, coq-of-python. The idea of this tool is, as you can guess, to translate Python code to the proof system Coq.
  • sugar_in_your_tea@sh.itjust.works
    3·
    6 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.