This is the companion web site for a paper on Efficient Certified Resolution Proof Checking: paper.pdf

All source code is available from: https://github.com/peter-sk/grit/

Detailed runtimes on a set of 280 benchmarks are available (click on column headers to sort): stat.html