PyPI page
Home page
Author:
Max Cutlyp
Summary:
Tools for working with proofs in first-order logic and propositional logic
Latest version:
0.1.0
Required dependencies:
beautifulsoup4
|
frozendict
|
markdown
|
types-markdown
|
weasyprint
Optional dependencies:
mypy
|
pytest
Downloads last day:
0
Downloads last week:
0
Downloads last month:
14
7-day smoothing