Projects are major public Kani initiatives. Each page gives the stable context for an initiative: why it exists, what it aims to do, and where to follow or join the work. Day-to-day progress (issues, pull requests, milestones) lives on GitHub.

  • AutoHarness: Automatic generation of proof harnesses with the kani autoharness subcommand.