C类自动高度控制C类真见鬼

格雷斯和施耐德的校对
“离散数学的逻辑方法”

CalcCheck（计算检查）是计算证明的校验程序流行教科书的逻辑离散数学的逻辑方法（拉脱维亚民主共和国）作者：David Gries和Fred Schneider。

目前的版本仍在开发中；它的主要用途是作为使用匆忙-初始文档是在这里.kept-alive笔记本从2020年秋季课程和从2023年秋季课程现在可以在这里进行实验。

如果您有兴趣在课程中使用CalcCheck，请发送电子邮件至“卡哈尔在中国科学院点麦克马斯特点卡”.

沃尔夫拉姆·卡尔（Wolfram Kahl）： 提供按需反馈以改进学习中的逻辑推理计算机科学与软件工程,M.E.Auer，D.Centea（编辑）：教育4.0的愿景和概念，2020年国际禁雷公约,《智能系统与计算进展》，第1314卷。查姆施普林格。2021
沃尔夫拉姆·卡尔（Wolfram Kahl）： 计算关系代数证明在教学工具CalcCheck中,程序设计中的逻辑和代数方法杂志，第117卷，2020年12月，100581（39页）
沃尔夫拉姆·卡尔（Wolfram Kahl）： 计算关系代数证明在教学工具CalcCheck中,在J.Desharnais、W.Guttmann、S.Joosten（编辑）中：计算机科学中的关系和代数方法，第17届国际会议，2018年RAMiCS2018年斯普林格·弗拉格
沃尔夫拉姆·卡尔（Wolfram Kahl）： CalcCheck：“离散数学逻辑方法”教学的校对工具,J.Avigad，A.Mahboubi（编辑）：交互式定理证明，2018年IITP第九届国际会议2018年斯普林格·弗拉格

2011-2013年基于LaTeX的旧版本现在应该只具有历史意义，但仍可用作计算检查-0.2并在以下出版物中进行了描述：

沃尔夫拉姆·卡尔（Wolfram Kahl）： 教学工具CalcCheck：Gries和Schneider的校对工具“离散数学的逻辑方法”,J.-P.Jouannaud，Z.Shao（编辑）：认证程序和证明，CPP 2011,第216–230页，LNCS 7086，施普林格-弗拉格出版社，2011年。