S

Stainless verifier

Project information

Program verifier for Scala. Documentation, sources on GitHub

4,060 Commits
23 Branches
35 Tags

README
Apache License 2.0

Created on

April 17, 2025

Loading