Package drat2er-tools

Command line interface to drat2er

https://github.com/benjaminkiesl/drat2er

This package contains a command line interface to drat2er.

General Commands
drat2er Proof transformer for propositional logic