Get the latest tech news

Carnap – A formal logic framework for Haskell

Welcome to Carnap.io A formal logic framework for Haskell Background Carnap is a free and open software framework written in Haskell for teaching and studying formal logic. Carnap powers logic courses at dozens of colleges and universities around the world.

None

Get the Android app