Welcome to Carnap.io
A formal logic framework for Haskell
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!