GitHub repository: Carlos-Mero/nev
Primary language: Python
Created: 2025-04-04T12:44:40Z
Description: Natural language evaluation for proof problems.