在教育领域,教程是一种传授知识的方法,可作为学习过程的一部分。与书本或讲座相比,教程的互动性更强,也更具体,它旨在通过实例教学,提供完成某项任务所需的信息。
关于通过SSReflect在Coq中证明/编程的短期课程的讲义。