See ../README for information about this project for checking lrat
proofs.

See ../main/ for the main README, with instructions for using the
script run.sh script to run the main lrat checker.
