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

https://carnap.io/

#carnap #haskell #formallogic