Skip to content

@verifereum Verifereum

Change the repository type filter

All

    Repositories list

    3 repositories

    • vyper-hol

      Public
      Formal specification and verification of Vyper
      Standard ML
      •
      GNU General Public License v3.0
      •2•12•2•10•Updated Dec 28, 2025Dec 28, 2025

    • verifereum

      Public
      Prove functional correctness of Ethereum smart contracts in higher-order logic
      Standard ML
      •
      GNU General Public License v3.0
      •9•29•15•2•Updated Dec 28, 2025Dec 28, 2025

    • funding

      Public
      Applications for funding to support Verifereum-related projects
      2•0•0•0•Updated Apr 1, 2025Apr 1, 2025