Mechanical theorem proving in the USSR | lit.salon