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

    uuverifiers/princess   2025-11-17

    The Princess Theorem Prover

    Scala versions: 2.13 2.12 2.11
    33 6