/

a16z/halmos

A symbolic testing tool for EVM smart contracts

PythonStars 946Forks 93Watchers 946Open issues 68License GNU Affero General Public License v3.0

Details

仓库信息

Ownera16z

Homepage—

Last pushed2025-08-06

Last updated2025-12-14

Issues fetched at—

Stats

Community at a glance