Welcome to Carnap.io

A formal logic framework for Haskell


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.

If you're a student in a course that uses Carnap, please follow the links at the top of the page to log in and to access course materials.

If you're just curious about Carnap, you can find some general information on our about page. If you're interested in the project, and would like to use Carnap in a class you're teaching, or get involved in some other way, please feel free to get in touch!