GitHub repository: DavePearce/VcGen
Primary language: Rust
Description: A simple library for manipulating and generating verification conditions.