热门图集
最近更新
LaTeX排版《Homotopy type theory》
<p><span style="font-size: 13.3333px;">在数理逻辑与计算机科学中，同伦类型论（homotopy type theory，缩写 HoTT）是一套旨在于同伦论的大框架下构建内涵类型论语义的理论，尤指Quillen模型范畴和弱分解系统。反而言之，内涵类型论则为同伦理论提供了一套逻辑语言。类型论在绝大多数计算机证明辅助系统中被用作集合论的替代理论，因为集合论的语言难以转化成计算机证明辅助的形式语言。</span></p>
LaTeX技巧790：让listings显示与vebatim显示一致
<p>listings已经是很多用户进行代码排版的主要宏包，其强大的定制性，能够让程序代码显示更为人性化，更美观，有时我们会需要下面的问题，listings与verbatim显示有差异。</p>
TeXLive 2014安装过程演示
<p>TeXLive基本上成为TeX发行版本套装最为流行且更新最为快速便捷的套装。也推荐有一定基础或入门用户使用这一套装。鉴于此。我们这里以 TeXLive 2014 为例进行讲解整个的软件安装过程的演示。</p>
LaTeX排版的《Redis 设计与实现》
<p><span style="font-size: 13.3333px;">总体排版还没非常细致做处理，若是能好好做做是不错的资料。</span></p>
LaTeX排版的LeetCode 题解
<p style="font-size: 13.3333px; white-space: normal;">本书的目标读者是准备去北美找工作的码农，也适用于在国内找工作的码农，以及刚接触 ACM 算法竞赛的新手。 本书包含了 LeetCode Online Judge(<a href="http://leetcode.com/onlinejudge" target="_blank">http://leetcode.com/onlinejudge</a>) 所有题目的答案，所有代码经过精心编写，编码规范良好
