trishullab/clever

CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning

Lean

49

356 commits

updated Aug 26, 2026

Contributors

168 commits

80 commits

GeorgeTsoukalas

41 commits

20 commits

Languages

Lean

61.0%

Python

19.9%

Rust

19.1%

trishullab/clever

CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning

Lean

49

356 commits

updated Aug 26, 2026

Contributors

168 commits

80 commits

GeorgeTsoukalas

41 commits

20 commits

Languages

Lean

61.0%

Python

19.9%

Rust

19.1%