Claim seahorn

Take ownership of this changelog and unlock full control

seahorn/seahorn

SeaHorn Verification Framework

Edit entries, customize styling, and manage subscribers

Show visitors you're the official maintainer

New releases automatically create changelog entries

You'll need to verify you have admin access to seahorn/seahorn