PyPI page
Home page
Author:
None
Summary:
Tools for working with DeLancy-style proofs in first-order logic and propositional logic
Latest version:
0.0.2
Required dependencies:
beautifulsoup4
|
frozendict
|
markdown
|
types-markdown
|
weasyprint
Optional dependencies:
mypy
|
pytest
Downloads last day:
13
Downloads last week:
234
Downloads last month:
234