__ext_sps
已收录下载：1条
-
SpaßforVisualStudioCode：提升第一阶定理证明器的代码体验SpaßforVisualStudioCode是一款专为第一阶定理证明器Spaß设计的非官方扩展，旨在提供语法高亮和代码片段功能，提升您的代码编写体验。快速上手安装扩展后，您可以通过创建扩展名为.dfg、.sps或.spass的新文件，或手动将语言模式设置为Spass来使用其功能。您可以在此处运行代码，或45