8000 Verifereum · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@verifereum

Verifereum

Formal Verification of Ethereum Applications

Popular repositories Loading

  1. verifereum verifereum Public

    Prove functional correctness of Ethereum smart contracts in higher-order logic

    Standard ML 27 9

  2. vyper-hol vyper-hol Public

    Formal specification and verification of Vyper

    Standard ML 9

  3. funding funding Public

    Applications for funding to support Verifereum-related projects

    2

Repositories

Showing 3 of 3 repositories

Top languages

Loading…

Most used topics

Loading…
0