Carnap – A formal logic framework for Haskell
4 months ago
- #Haskell
- #education
- #formal logic
- Carnap.io is a free and open-source software framework for teaching and studying formal logic.
- It is written in Haskell and used in logic courses at many colleges and universities worldwide.
- Students can log in to access course materials, while educators or interested parties can find more information on the about page or contact the project.