Source Package drat2er
Builds
Updates
Bugs
Sources
Crash Reports
Koschei
Subpackages
drat2er
- Proof transformer for propositional logic
drat2er-devel
- Development files for drat2er
drat2er-tools
- Command line interface to drat2er
Sources on
Pagure
