feat(pipeline): proof autoformalization via Lean 4 (research-scale)
April 17, 2026 · #160
Python
Difficulty: Medium
Labels
enhancement help wanted area: pipeline priority: low
Parent Repository
Davidvandijcke/coarse
Python repository
124 21