WIP: Add simulation for `storage.py`

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

Open InfiniteEchoes opened 2 months ago