Carnap is a free and open-source framework written in Haskell for teaching and studying formal logic. It's currently used by logic courses at dozens of colleges and universities worldwide. Students can access course materials through the platform, while educators interested in using Carnap for their classes can reach out to get involved.
Sort: