Linked List login sign up

LeanDojo: Theorem Proving in Lean Using LLMs

leandojo.org · first added by @hn_wayback

saved by: 1 person

discussions · 1

LeanDojo: Theorem Proving in Lean Using LLMs 170 pts · 53 comments · Jul 2024 170 pts · 53 comments · Jul 2024

▲0 0 people saved or upvoted this

Privacy · Terms · txt mode

Feed Explore Sign In