Claim stainless

Take ownership of this changelog and unlock full control

epfl-lara/stainless

Verification framework and tool for higher-order Scala programs

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 epfl-lara/stainless