24小时热门版块排行榜    

查看: 649  |  回复: 0

喜喜来了了了

新虫 (初入文坛)

[交流] 寻找会使用lean4的大神

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

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

» 猜你喜欢

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 喜喜来了了了 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 298求调剂 +6 axyz3 2026-02-28 7/350 2026-03-03 01:07 by axyz3
[考研] 高分子化学与物理调剂 +6 好好好1233 2026-02-28 16/800 2026-03-03 00:36 by 好好好1233
[考研] 中国科学技术大学材料与化工281求调剂,有科研和获奖经历 +6 wsxw 2026-03-02 6/300 2026-03-02 23:49 by 半截的诗0927
[考研] 0856调剂 +10 刘梦微 2026-02-28 10/500 2026-03-02 23:42 by hcy618
[考研] 0856材料求调剂 +12 hyf hyf hyf 2026-02-28 13/650 2026-03-02 20:19 by hypershenger
[考研] 材料270求调剂 6+4 Eiiiio 2026-03-01 7/350 2026-03-02 20:17 by hypershenger
[考研] 材料类考研调剂 +3 gemmgemm 2026-03-01 4/200 2026-03-02 20:02 by hypershenger
[考研] 材料复试调剂 +5 学材料的点 2026-03-01 6/300 2026-03-02 20:01 by hypershenger
[考研] 306分材料调剂 +5 chuanzhu川烛 2026-03-01 6/300 2026-03-02 19:51 by 张晓芳0105
[考研] 275求调剂 +7 明远求学 2026-03-01 7/350 2026-03-02 19:22 by zhukairuo
[考博] 博士自荐 +4 kkluvs 2026-02-28 5/250 2026-03-02 19:19 by 轻松不少随
[考研] 289求调剂 +8 yang婷 2026-03-02 9/450 2026-03-02 19:08 by zhukairuo
[考研] 材料调剂 +3 恒顺自然 2026-03-02 3/150 2026-03-02 18:49 by L135790
[考研] 290求调剂 +6 ErMiao1020 2026-03-02 6/300 2026-03-02 18:14 by lature00
[考研] 一志愿华中科技大学,化学专业344分,求调剂 +3 邢xing1 2026-03-02 3/150 2026-03-02 17:32 by houyaoxu
[考研] 材料工程269求调剂 +3 白刺玫 2026-03-02 3/150 2026-03-02 09:25 by 一休哥FU
[考研] 材料类求调剂 +11 wana_kiko 2026-02-28 14/700 2026-03-02 08:46 by 聪明的大松鼠
[考研] 化工299分求调剂 一志愿985落榜 +5 嘻嘻(*^ω^*) 2026-03-01 5/250 2026-03-01 19:47 by 无际的草原
[基金申请] 刚录用,没有期刊号,但是在线可看的论文可以放为代表作吗 10+3 arang1 2026-03-01 3/150 2026-03-01 16:43 by babero
[考研] 311求调剂 +9 南迦720 2026-02-28 10/500 2026-03-01 10:55 by sunny81
信息提示
请填处理意见