channgo2203/fevm
Formalization of EVM in Coq
GitHub repository with 5 stars and 1 forks.
Language: Coq
Latest metric snapshot
2026-06-15: 5 stars and 1 forks.
Formalization of EVM in Coq
GitHub repository with 5 stars and 1 forks.
Language: Coq
2026-06-15: 5 stars and 1 forks.