coq-of-python
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
29 stars
1 watching
0 forks
Language: Coq
last commit: 26 days ago coq-of-python Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.