The grandparent obviously meant "prove" in an informal sense, as in getting something accepted by some bureaucratic certification. You're talking about formal, mechanized proof systems.