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