暑假学点啥

安排一下暑假日程。

日常

七月

七月都在上代数和 lean,趁这个机会好好学学。

八月

这时候应该比较闲了


其他任务就不布置了,因为毕竟是暑假