《前沿》论文

本文是北京大学《前沿计算研究实践I》的课程论文。介绍了信息熵、Lambda Calculus、Coq三个方向。