Какое приложение именно в видео не подскажу – любая рисовалка может быть, без особых функций кроме рисования прямых, и свободного рисования.
Порекомендую отличное приложение для геометрии, стереометрии и образования —
GeoGebra Classic. Там рисование чуть более строгое, точки «прилипают», и зато получается идеально аккуратный и «живой» чертеж – потянул точку, все линии из неё сдвинулись. Попробуйте, софт бесплатный, под многие платформы.
Названия точкам присваиваются сразу автомагически. Можно переименовать. Можно считать площади, объёмы, даже вероятности!
