https://pypi.org/project/deutil/ Recent updates to the Python Package Index for deutil en https://pypi.org/project/deutil/0.0.2/ Tools for working with DeLancy-style proofs in first-order logic and propositional logic max@maxcutlyp.com Tue, 05 May 2026 08:45:32 GMT https://pypi.org/project/deutil/0.0.1/ Tools for working with DeLancy-style proofs in first-order logic and propositional logic max@maxcutlyp.com Sat, 02 May 2026 02:40:20 GMT