GitHub repository: FMFI-UK-1-AIN-412/workbook
Primary language: TypeScript
Description: First-order logic workbook