Metadata-Version: 2.4
Name: natural-deduction
Version: 0.0.1
Summary: Natural deduction.
Author-email: Machina Ratiocinatrix <machina.ratio@gmail.com>, Alexander Fedotov <alex.fedotov@aol.com>
Project-URL: Homepage, https://github.com/natural-deduction/natural-deduction
Project-URL: Bug Tracker, https://github.com/natural-deduction/natural-deduction/issues
Keywords: natural-deduction
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: pyyaml==6.0.3
Dynamic: license-file

# Natural deduction
<pre>
  pip install natural-deduction
</pre>
Then:
```Python
  # Python
  import natural_deduction
```
