from Hacker News

LeanDojo: Theorem Proving in Lean Using Language Models

by hendler on 7/26/24, 1:00 PM with 0 comments