Math Proof Studio is een notitieboek voor het schrijven van bewijzen, waarin je de controle over je redeneerproces behoudt. Schrijf in een teksteditor, bewaar elke revisie in een gekoppelde keten en voer deterministische protocolcontroles uit (geen cijfers). Bundel geselecteerd werk in exporteerbare bewijspakketten om te delen of te archiveren.