Block or Report
Block or report sloboegen
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Coq
Sort by: Most stars
2
stars
written in Coq
Clear filter
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.