GitHub repository: trishullab/clever
Primary language: Lean
Description: CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning