GitHub repository: warpdynamicsltd/reason
Primary language: Python
Created: 2025-01-01T15:36:50Z
Description: First Order Logic System