1 result found Sort:

epfl-lara
stainless epfl-lara
49
348
apache-2.0
19
Verification framework and tool for higher-order Scala programs
z3 smt cvc4 cvc5 inox scala verification formal-methods model-checking proof-assistant
Created 2016-08-17
3,975 commits to main branch, last one about a month ago