Giters

channgo2203 / fevm

Formalization of EVM in Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

fevm

Formalization of EVM in Coq (to be updated).

About

Formalization of EVM in Coq

Languages

Language:Coq 99.9%Language:Makefile 0.1%