mathematical-logic
Ordinal Arithmetic: An Ordinal-First Metalanguage Approach to Definable Arithmetic Truth
Python library for computational formal logic, formal semantics, and theorem proving
A Python library providing basic functionalities for manipulating propositional logic
