无标题无名氏No.68573675 返回主串
2026-05-01(五)10:43:24 ID:URcnzXA 回应
问道于肥 最近学了些coq基础，感觉对这方面有些兴趣。如果想往程序语言方面深入走一些的话肥哥们有什么学习路径建议吗( ﾟ∀。)7
无标题无名氏No.68574663
2026-05-01(五)14:42:12 ID: URcnzXA (PO主)
>>No.68573899 po刚出门觅食去了，才看到，谢肥哥(*ﾟ∇ﾟ) 回头从图书馆顺本tapl看看