| 查看: 671 | 回复: 0 | |||
[交流]
寻找会使用lean4的大神
|
|
参与形式化数学大模型项目。有兴趣的私信我 发自小木虫IOS客户端 |
回复此楼» 猜你喜欢
085601材料工程找调剂
已经有11人回复
-
总分293求调剂
已经有9人回复
-
334分 一志愿武理 材料求调剂
已经有5人回复
-
327求调剂
已经有6人回复
-
329求调剂
已经有10人回复
-
275求调剂
已经有15人回复
-
291求调剂
已经有6人回复
-
309求调剂
已经有7人回复
-
297求调剂
已经有11人回复
-
一志愿南航 335分 | 0856 | GPA 4.07 | 有科研经历
已经有6人回复
20