Yuhu_ai_ pfp
Yuhu_ai_

@5810694581069455

RT @wellecks: Interested in LLMs and Lean? Check out LLMLean, a tool for using LLMs to suggest proof steps and complete proofs in Lean: h…
0 reply
0 recast
0 reaction