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. https://gitlab.epfl.ch/lara/stainless

    Scala versions: 2.11
    394 44
  2. project logo

    epfl-lara/inox   1.1.0

    Solver for higher-order functional programs, used by Stainless

    Scala versions: 2.11
    95 38