natural_deduction/__init__.py,sha256=4lVYZ3KJxbhfVGwdKCgEkaKd7oW9EXLbkDZNcN_dRlY,190
natural_deduction/cli.py,sha256=C98s-RhT9KLn8GQ-av9_gSV88Nn1aichbRH_dtWYk7U,283
natural_deduction/main.py,sha256=DlyzS2WtzG8obzH8k3ARxcTzOA6Nsx4MyNG1D5e3GQQ,277
natural_deduction-0.0.1.dist-info/licenses/LICENSE,sha256=U5clQDh5luBCruN6Ua22RVMXNSuiqXxpS-AOZwMW_P0,1074
natural_deduction-0.0.1.dist-info/METADATA,sha256=zhOVG28ppvsnRegv54euReLMTl-5rs0Yrksd567stpo,794
natural_deduction-0.0.1.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
natural_deduction-0.0.1.dist-info/entry_points.txt,sha256=_1ZYdMRuGBmgnh3coD5_zFQouwRuTqvS7qYKPAr9upM,64
natural_deduction-0.0.1.dist-info/top_level.txt,sha256=OFImY0lRU61xK6BiptE92LqWI3ovdIHQfwQ3ObIs9Yo,18
natural_deduction-0.0.1.dist-info/RECORD,,
