Prove It: Toolkit