GitHub repository: marco-lewis/silver
Primary language: Python
Description: SilVer: An automated tool for verifying Silq programs using SMT solvers.