| 查看: 1036 | 回复: 0 | |||
[交流]
寻找会使用lean4的同学
|
|
参与形式化数学大模型项目。有兴趣的私信我 发自小木虫IOS客户端 |
回复此楼» 猜你喜欢
面上有专家说实验设备不是我们单位的
已经有7人回复
-
科研求助
已经有4人回复
-
博士去二本高校当辅导员，如何调整心态？
已经有11人回复
-
江苏省自然基金 什么时候出结果
已经有6人回复
-
闲聊
已经有3人回复
-
初秋的晨风
已经有6人回复