Skip to content

GitLab

Explore

Sign in

LARA
Stainless verifier

S

Stainless verifier

Project information

Program verifier for Scala. Documentation, sources on GitHub

3,971 Commits
23 Branches
35 Tags

README
Apache License 2.0

Created on

March 27, 2023

Copy SSH clone URLgit@gitlab.epfl.ch:lara/stainless.git
Copy HTTPS clone URLhttps://gitlab.epfl.ch/lara/stainless.git