2 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    epfl-lara/stainless   0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1

    Verification framework and tool for higher-order Scala programs

    Scala versions: 2.11
    357 36
  2. project logo

    epfl-lara/inox   1.0

    Solver for higher-order functional programs, used by Stainless

    Scala versions: 2.12
    88 36