Carnap – A formal logic framework for Haskell5 months ago#Haskell#education#formal logichttps://carnap.io/Copy LinkCarnap.io 是一个免费开源的软件框架，用于教授和学习形式逻辑。该框架使用 Haskell 语言编写，被全球多所高校的逻辑学课程采用。学生可登录获取课程资料，教育工作者或相关人士可在关于页面查看更多信息或联系项目组。