GitHub repository: momo-sa/categorical_syllogisms
Primary language: HTML
Description: Automated generation of categorical sentences and syllogisms