Carnap: Mississippi State

A formal logic framework for Haskell

Carnap is a free and open software framework written in Haskell for teaching and studying formal logic.