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