📝 提交该分类网址

📁 LogicalFrameworks

证明助手是一种计算机程序，用户可以使用它在某种逻辑系统中构建完全形式化的数学证明。与定理证明器相反，证明助手不能自己找到证明

子分类

📁 LFLogicalFramework

条目 (0+)

全部 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

该分类暂时没有条目。