论文标题
Sasylf 2008-2021的演变
Evolution of SASyLF 2008-2021
论文作者
论文摘要
Sasylf于2008年发行，并用作几所大学课程的证明助手。 它证明自己有用并继续使用，每次使用的使用都鼓励了进一步的开发：修复错误并添加增强功能。 本文描述了Sasylf是如何在忠于其目的的同时开发的。最值得注意的是使替换明确，支持“和”或“支持相互诱导和词典诱导以及IDE支持”。
SASyLF was released in 2008 and used as a proof assistant in courses at several universities. It proved itself useful and has continued to be used, and each iteration of use has encouraged further development: fixing bugs and adding enhancements. This paper describes how SASyLF was developed while keeping true to its purpose. Most notable are making substitutions explicit, support of "and" and "or," support for mutual and lexicographic induction, and IDE support.
