GitHub repository: lyk2018-python/deductive-reasoning
Primary language: Python
Created: 2018-07-29T06:59:16Z
Description: A tool for deductive reasoning