2023年8月1日
log-忘了日期
摘要： **TODO:** * 加入两本书: 1. https://github.com/gaurangsaini/sipser-computation-3rd-solutions/ 计算理论的 2. https://softwarefoundations.cis.upenn.edu/lf-current/ 阅读全文
posted @ 2023-08-01 17:15 机智蛋 阅读(27) 评论(0) 推荐(0)