Leanstral: Open-source agent for trustworthy coding and formal proof engineering

Mistral AI Blog，Mistral AI，法国领先 AI 公司，提供企业级 AI 平台与开源大模型。关注

Lean 4 paper (2021): dl.acm.org/doi/10.1007/978-3-030-79876-5_37

添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论