GitHub repository: simon-andrews/logicoach
Primary language: TypeScript
Description: Tool for practicing propositional logic proofs.