PyPI
bradleypallen/pyNMMS
pyNMMS — An automated reasoner for the Non-Monotonic Multi-Succedent sequent calculus from Hlobil & Brandom 2025
MITAug 26, 2026 · metrics 2.10.0
All tags
Catalogue tag
#automated-reasoning
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
1 record