Digital Formal Logic Project

All

1 repository

mathesis
Public
Python library for computational formal logic, formal semantics, and theorem proving
semantics proof logic
semantics proof logic philosophy first-order-logic propositional-logic prover mathematical-logic formal-logic symbolic-logic
Python
•
MIT License
•5•32•1•1•Updated Dec 13, 2025Dec 13, 2025

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.