GitHub repository: IsaacShelton/okay-prove
Primary language: TypeScript
Description: Logical proof generator written in TypeScript