Pinned Loading

1. stainless Public

   Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

   Scala 394 58

2. bolts Public

   Bolts: Stainless Verified Scala Examples

   OCaml 29 13

3. lisa Public

   Proof assistant based on first-order logic and set theory

   Scala 68 22

4. inox Public

   Solver for higher-order functional programs, used by Stainless

   Scala 95 22

5. scala-smtlib Public

   Forked from regb/scala-smtlib

   Scala library for parsing and printing the SMT-LIB format

   SMT 2 3

6. scallion Public

   LL(1) parser combinators in Scala

   Scala 61 14