SASyLF 2008-2021的演进
计算机科学中的逻辑
2022-02-09 v1 编程语言
摘要
SASyLF于2008年发布，并作为多所大学课程中的证明助手使用。它证明了自身的实用性并持续被使用，且每一次使用迭代都促进了进一步发展：修复错误和增添增强功能。本文描述了SASyLF如何在保持其初衷的同时被开发。最值得注意的是使替换显式化、支持“与”和“或”、支持互归纳与字典序归纳，以及IDE支持。
引用
@article{arxiv.2202.03568,
title = {Evolution of SASyLF 2008-2021},
author = {John Tang Boyland},
journal= {arXiv preprint arXiv:2202.03568},
year = {2022}
}
备注
In Proceedings ThEdu'21, arXiv:2202.02144