Descrição
Propriedades de programas Scala podem ser verificadas pela compilação Git atual do framework Stainless. O pacote compila o jar Stainless, instala `/usr/bin/stainless` e pode usar backends opcionais de solver Z3, CVC4 ou CVC5. Ele é voltado a desenvolvedores e pesquisadores que provam condições de correção em código Scala.