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
30 stars 0 forks source link

Add `keccak.py` simulation #30

Closed InfiniteEchoes closed 4 months ago

InfiniteEchoes commented 4 months ago

For #15 .