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

Draft: Add Python lint to the CI #2

Open clarus opened 5 months ago

clarus commented 5 months ago

We will see later to finish it.