Ben's Bites daily AI product launches & news

Community Advertise

Sign up / Login

LeanDojo: Theorem Proving in Lean Using LLMs leandojo.org

167 •

via hackernews 1 year ago

No comments yet…

Login to comment.