This tutorial shows how to set up proving tasks and add proving records into Chomp.
Not sure what the Proving Method is? We explain it here.