| 1 | 1/1 | 返回列表 |
| 查看: 662 | 回復(fù): 0 | |||
[交流]
尋找會(huì)使用lean4的大神
|
|
參與形式化數(shù)學(xué)大模型項(xiàng)目。有興趣的私信我 發(fā)自小木蟲IOS客戶端 |
| 1 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 283求調(diào)劑 +10 | 小樓。 2026-03-12 | 14/700 |
|
|---|---|---|---|---|
|
[考研] 環(huán)境工程調(diào)劑 +4 | 大可digkids 2026-03-16 | 4/200 |
|
|
[教師之家] 焦慮 +7 | 水冰月月野兔 2026-03-13 | 9/450 |
|
|
[基金申請(qǐng)]
NSFC申報(bào)書里申請(qǐng)人簡(jiǎn)歷中代表性論著還需要在申報(bào)書最后的附件里面再上傳一遍嗎
20+5
|
NSFC2026我來了 2026-03-10 | 14/700 |
|
|
[考研] 085601材料工程315分求調(diào)劑 +3 | yang_0104 2026-03-15 | 3/150 |
|
|
[考研] 080500,材料學(xué)碩302分求調(diào)劑學(xué)校 +4 | 初識(shí)可樂 2026-03-14 | 5/250 |
|
|
[考研] 328求調(diào)劑 +3 | 5201314Lsy! 2026-03-13 | 6/300 |
|
|
[考研] 308求調(diào)劑 +4 | 是Lupa啊 2026-03-09 | 4/200 |
|
|
[考研] 307求調(diào)劑 +7 | 超級(jí)伊昂大王 2026-03-10 | 7/350 |
|
|
[考研] 求調(diào)劑,一志愿江南大學(xué)環(huán)境工程085701 +3 | Djdjj12 2026-03-10 | 4/200 |
|
|
[考研] 336求調(diào)劑 +6 | Iuruoh 2026-03-11 | 6/300 |
|
|
[考研] 【考研調(diào)劑求收留】 +3 | Ceciilia 2026-03-11 | 3/150 |
|
|
[考研] 【0856】化學(xué)工程(085602)313 分,本科學(xué)科評(píng)估A類院;瘜W(xué)工程與工藝,誠(chéng)求調(diào)劑 +7 | 小劉快快上岸 2026-03-11 | 7/350 |
|
|
[考研] 295求調(diào)劑 +3 | 小匕仔汁 2026-03-12 | 3/150 |
|
|
[考研] 290求調(diào)劑 +7 | ADT 2026-03-12 | 7/350 |
|
|
[考研] 085600材料與化工 309分請(qǐng)求調(diào)劑 +7 | dtdxzxx 2026-03-12 | 8/400 |
|
|
[考研] 08食品或輕工求調(diào)劑,本科發(fā)表3篇sci一區(qū)top論文,一志愿南師大食品科學(xué)與工程 +3 | 我是一個(gè)兵, 2026-03-10 | 3/150 |
|
|
[考研] 270求調(diào)劑 085600材料與化工專碩 +3 | YXCT 2026-03-11 | 3/150 |
|
|
[考博] 福州大學(xué)楊黃浩課題組招收2026年專業(yè)學(xué)位博士研究生,2026.03.20截止 +3 | Xiangyu_ou 2026-03-12 | 3/150 |
|
|
[考博] 26申博求助 +3 | 跳躍餅干 2026-03-10 | 4/200 |
|