2023年7月26日
数学证明助手 Lean
摘要： 1、官方： Lean (leanprover.github.io) 社区：Lean community (leanprover-community.github.io) (github.com)： leanprover-community/mathlib4: Work in progress mat 阅读全文
posted @ 2023-07-26 16:00 Hopesun 阅读(123) 评论(0) 推荐(0) 编辑