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.15.1
Optional dependencies:
hypothesis
|
mkdocs-material
|
mkdocstrings
|
mypy
|
owlrl
|
pyoxigraph
|
pyshacl
|
pytest
|
pytest-cov
|
rdflib
|
rdflib-endpoint
|
ruff
|
uvicorn
Downloads last day:
3
Downloads last week:
39
Downloads last month:
2,829
7-day smoothing