Skip Navigation

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.

šŸ Translation of Python code to Coq | Formal Land
1
1 comments