豆瓣
扫码直接下载
当数据稍微大一点，mac下的几个归档工具几乎都没有能正确工作的，这么多年了真是一点长进都没有；
方向：formal verification，program synthesis。 ---- 我是一只虫子， ...
> 返回到此一游 e/acc的全部广播
