项目描述 ：
就是来自lean的编译后的代码

高级语言： HTML

项目主页： https://sherleysong.github.io/index/

项目地址: git://github.com/sherleysong/index.git

创建时间： 2016-04-23T01:19:23Z
项目社区：https://github.com/sherleysong/index
开源协议：
下载