GitHub repository: pontem-network/get-boogie
Primary language: Shell
Description: Derives third-party dependencies for Dove needed to prove. (.NET, Z3, Boogie)