Theorem proving in technology transfer: the user's point of view