DappHub

Founded in 2015

Dev ToolsBusiness (B2B)Blockchain / CryptoServiceConsulting

- Formal Verification of Etherum Smart contracts using the K Framework.- Development of CLI tooling for FV - klab- NixOS-based FV infrastructure

🔥

👍

💩

Founded

2015

Employees

Funding

Team members (2 of 2)

Mariano .Eth

Developer

Lorenzo Manacorda

Software Engineer

Investment History

Premium Feature

Upgrade to see detailed investment rounds, funding amounts, and investor information

Suggested Companies