高手社区
首页
称号抽取
淘帖
注册
登录
主题
回帖
称号
积分
⭐️
有没有对“逻辑学”和“类型论”感兴趣的?
德文的网站,应该不是楼主大神的. 我玩了一下,以前就有人说类似楼主这种大神,天天写大家看不懂的代码,玩看不懂的游戏,现在总算是切身感受到了.。
林北辰
5小时前
技术
3
MindMindMax
类型论
Lean4
逻辑学
技术
提示
×