Proof Technology in Mathematics Research and Teaching | lit.salon