PyRank

Philosophical Logic Python Packages

Python packages with the GitHub topic philosophical-logic. Sorted by monthly downloads, with stars and forks.
digitalformallogic
mathesis

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

323 33 5