Add vyper support · Issue #154 · a16z/halmos
Halmos is an EVM-level tool, which means that in principle we can target any bytecode, regardless of the source language used (Solidity, Vyper, Huff, ...) However at the moment at the moment we onl...
github.com