Additionally, interactive proof assistants allow mathematicians to develop human-readable proofs which are nonetheless formally verified for correctness.
Покрај тоа интерактивните докажувачки асистенти им овозможиле на математичарите да развијаат читливи докази кои се официјално потврдени за коректност.