形式逻辑

Carnap：Haskell逻辑框架助力AI研究

Carnap是一个免费开源的软件框架，用Haskell语言编写，专门用于教学和研究形式逻辑。它为全球数十所大学的逻辑课程提供技术支持，学生可登录访问课程材料。作为Open Tower项目，该框架鼓励开发者参与和使用，对AI领域的逻辑研究有重...