Carnap: Mississippi State

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.