GitHub repository: ubc-carnap-team/Carnap
Primary language: Haskell
Description: A formal logic framework that runs in the browser