leanprover-community/mathematics_in_lean The user home repository for the Mathematics in Lean tutorial. 相关项目： ansible/community sveltejs/community kubernetes/community limingpu123456/community Stars总数183 Forks总数127 今日Stars1 源码分类HTML 更新时间2024-05-08(1年前) 查看项目：leanprover-community/mathematics_in_lean 扫码关注公众号获取最新文章，并可免费领取前端工程师必备学习资源
