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
Find it!
