Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by RSilviu

A curated list of projects in awesome lists by RSilviu .

https://github.com/rsilviu/coq2sol

Formal semantics for Solidity in Coq

coq coq-formalization solidity solidity-contracts solidity-language

Last synced: 20 Oct 2024