发布于 2 天前
摘要
阿木博主一句话概括：数学证明辅助语言的初步实现：基于Scheme语言的代码编辑模型探索 阿木博主为你简单介绍： 本文旨在探讨使用Scheme语言实现一个数学证明辅助语言的初步方案。通过分析数学证明辅助语言的需求，设