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 the interactive online component of Kansas State University's PHILO110: Introduction to Formal Logic and PHILO320: Introduction to Symbolic Logic I and also supports logic teaching at the University of Birmingham.

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 at 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!