GitHub repository: Certora/natspec_parser
Primary language: Rust
Description: early NatSpec parser for CVL