Math Proof Studio je zápisník na korektúry, ktorý je založený na vlastníctve vášho záznamu o uvažovaní. Píšte v textovom editore, uchovávajte každú revíziu v prepojenom reťazci a vykonávajte deterministické kontroly protokolu (nie známky). Usporiadajte vybrané práce do exportovateľných balíkov dôkazov na zdieľanie alebo archiváciu.