GitHub repository: zachflanders/lifted-logic
Primary language: TypeScript
Description: Code Challenge!