PyRank

Inferentialism Python Packages

Python packages with the GitHub topic inferentialism. Sorted by relevance, with stars and monthly downloads.
bradleypallen
pynmms

An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3.

342 0 0