写给计算机系学生的代数

这个仓库会存放 LaTeX 版本的正文以及必要的辅助材料，包括：

• 习题解答（solution），目前的部分主要由 @floatshadow 完成。
• 一些算法实现相关的 starter code （codes），暂未完成。
• 一些形式化证明代码和 starter code （formal-proof），暂未完成。