定理证明

阿木博主一句话概括：基于类型断言与定理证明的Scheme语言类型系统形式化 阿木博主为你简单介绍： 本文旨在探讨Scheme语言类型系统的形式化方法，通过引入类型断言和定理证明技术，对Scheme语言进行严格的类型