Stainless consists of several sbt projects.

The core verifier sources are in core/src/scala.

There are separate front ends for Scala 3 (primary one), Scala 2, and sbt.

The documentation from user's point of view is in core/src/sphinx.

This directory also contains release notes and release instructions.