Mathematics enters the period of change unprecedented in its history, perhaps even a
revolution: a switch to use of computers as assistants and checkers in production of proofs …