自然推导一致性证明 该存储库用于我的第一个科学启动项目。 在“最小”文件夹中，存在一个形式化的语义证明，用于证明隐含命题演算的自然演绎的一致性。 在“句法”文件夹中，存在对命题直觉逻辑的自然演绎一致性的句法证明的形式化，其形式是对后续演算的转换以及证明割痕是可以接受的。 有关该项目的更多信息： :