GitHub repository: stefanDeveloper/inference
Primary language: Jupyter Notebook
Created: 2021-02-26T11:02:17Z
Description: Quantifiers and monotonicity in reasoning tasks