GitHub repository: quantstamp/halo2-analyzer
Primary language: Rust
Description: SMT 2023 Submission; license pending