GitHub repository: lfmartins/logic
Primary language: Jupyter Notebook
Created: 2020-04-20T13:37:59Z
Description: A library for formal logic in Python