Resource Calculator for Proofs