PyPI page
Home page
Author:
Bradley P. Allen
Summary:
An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3.
Latest version:
0.6.1
Optional dependencies:
hypothesis
|
mkdocs-material
|
mkdocstrings
|
mypy
|
pytest
|
pytest-cov
|
ruff
Downloads last day:
34
Downloads last week:
40
Downloads last month:
173