SilVer: Silq Verification

SilVer allows users to check Silq programs against user-specified behaviour using SMT solvers such as Z3 and dreal.

Related article: In preparation