PyRank

Inferentialism Python Packages

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

pyNMMS — An automated reasoner for the Non-Monotonic Multi-Succedent sequent calculus from Hlobil & Brandom 2025

1K 0 0