FastProve