GitHub repository: IBM/socratic-logic
Primary language: Python
Created: 2023-05-25T01:47:37Z
Description: A decision algorithm for sound and complete real-valued axiomatic logic.