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 24 8

  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
  • vyper-hol Public

    Formal specification and verification of Vyper

    verifereum/vyper-hol’s past year of commit activity
    Standard ML 9 GPL-3.0 0 3 0 Updated Apr 5, 2025
  • verifereum Public

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

    verifereum/verifereum’s past year of commit activity
    Standard ML 24 GPL-3.0 8 18 3 Updated Apr 4, 2025
  • funding Public

    Applications for funding to support Verifereum-related projects

    verifereum/funding’s past year of commit activity
    0 2 0 0 Updated Apr 1, 2025

Top languages

Loading…

Most used topics

Loading…