Sponsor:

Your company here, and a link to your site. Click to find out more.

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