Login
From:
formal.land
(Uncensored)
subscribe
🐍 Translation of Python code to Coq | Formal Land
https://formal.land/blog/2024/05/10/translation-of-python-code
links
backlinks
Tagged with:
ethereum
translation
coq
coq-of-python
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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
