GitHub repository: Beneficial-AI-Foundation/vericoding
Primary language: Lean
Description: tools and benchmarks for verified coding