应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

Znn3bq.jpeg
小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 寻找会使用lean4的同学
北京石油化工学院2026年研究生招生接收调剂公告
11/1返回列表
查看: 837  |  回复: 0
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

喜喜来了了了

新虫 (初入文坛)

[交流] 寻找会使用lean4的同学

参与形式化数学大模型项目。有兴趣的私信我

发自小木虫IOS客户端
回复此楼

» 猜你喜欢
1楼 2024-11-07 15:43:18
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 喜喜来了了了 的主题更新
11/1返回列表
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 材料调剂 +12 汉123456 2026-04-07 13/650 2026-04-07 21:46 by lijunpoly
[考研] 材料与化工专硕306分找合适调剂 +19 沧海轻舟e 2026-04-06 19/950 2026-04-07 21:40 by lijunpoly
[考研] 调剂求助（生物与医药） +5 @6952 2026-04-06 5/250 2026-04-07 20:31 by syh9288
[考研] 284求调剂 +12 梵@@ 2026-04-06 12/600 2026-04-07 16:21 by 可口可乐不加冰�
[考研] 材料求调剂 +18 一样YWY 2026-04-05 18/900 2026-04-07 15:49 by dxlg
[考研] 288求调剂 +11 没有答案_ 2026-04-05 11/550 2026-04-07 14:35 by qlm5820
[考研] 085404 293求调剂 +8 勇远库爱314 2026-04-06 9/450 2026-04-07 13:05 by flydream1314
[考研] 285求调剂 +16 哦呦呼o 2026-04-04 16/800 2026-04-07 12:31 by 1018329917
[考研] 264求调剂 +7 麦小叮当 2026-04-07 7/350 2026-04-07 12:05 by Sammy2
[考研] 求调剂到材料 +5 程9915 2026-04-06 5/250 2026-04-06 15:21 by yulian1987
[考研] 301求调剂 +7 细胞相关蛋白 2026-04-03 7/350 2026-04-06 11:47 by lijunpoly
[考研] 296求调剂 +3 汪！？！ 2026-04-05 4/200 2026-04-05 20:13 by 啵啵啵0119
[考研] 调剂 +11 JLLLLLLLLLL 2026-04-03 11/550 2026-04-04 22:21 by hemengdong
[考研] 22408，264求调剂 +3 ywh729 2026-04-03 4/200 2026-04-04 11:04 by ywh729
[考研] 求调剂，一志愿南京航空航天大学 ，080500材料科学与工程学硕 +10 @taotao 2026-04-03 10/500 2026-04-04 09:01 by T可可西里T
[考研] 326分求调剂 +3 于是乎呢 2026-04-01 5/250 2026-04-03 14:23 by 于是乎呢
[考研] 315分 085602 求调剂 +15 26考研上岸版26 2026-04-02 15/750 2026-04-03 12:45 by xingguangj
[考研] 085600，320分求调剂 +6 大馋小子 2026-04-02 6/300 2026-04-02 21:54 by dongzh2009
[考研] 材料340分调剂 +7 夏夜晚风_long 2026-04-02 9/450 2026-04-02 21:20 by dongzh2009
[考研] 377求调剂 +3 RASKIN 2026-04-02 3/150 2026-04-02 09:45 by zzchen2000
信息提示
关闭
请填处理意见
关闭