Translation of Python code to Coq | Formal Land
Translation of Python code to Coq | Formal Land
formal.land š Translation of Python code to Coq | Formal Land
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.
1
comments
Iām sorry, what is it called?
1 0 Reply