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