Fixes for Coq and Lean - Githubissues

nuprl / MultiPL-E

A multi-programming language benchmark for LLMs

https://nuprl.github.io/MultiPL-E/

Other

200 stars 38 forks source link

Fixes for Coq and Lean #132

Closed cassanof closed 8 months ago