issues
search
formal-land
/
coq-of-python
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
MIT License
29
stars
0
forks
source link
ci: add translation from Python
#24
Closed
clarus
closed
3 months ago