GitHub repository: Certora/cvlr-collections
Primary language: Rust
Description: CVLR Vectors and other collections mocks, fakes, and summaries