https://github.com/digitalformallogic/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

first-order-logic formal-logic logic mathematical-logic philosophical-logic philosophy proof propositional-logic prover semantics symbolic-logic

Last synced: 14 Jan 2026