PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
bradleypallen
pynmms

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

780 0 0