The training required to use such systems is also less than that required to produce good mathematical proofs by hand, making the techniques accessible to a wider variety of practitioners.
Mokymai, reikalaujantys naudoti tokias sistemas yra taip pat mažesni negu tie, reikalaujantys gerų matematinių įrodymų taip padarydami šias technikas prieinamas platesnei vartotojų įvairovei.