GitHub repository: ozekik/mathesis
Primary language: Python
Created: 2025-05-23T11:36:45Z
Description: Python library for computational formal logic, formal semantics, and theorem proving