Math Proof Studio to notatnik do korekty tekstów, który opiera się na autorstwie Twojego zapisu rozumowania. Pisz w edytorze tekstu, zachowuj każdą poprawkę w łańcuchu powiązań i przeprowadzaj deterministyczne kontrole protokołów (nie ocen). Przechowuj wybrane prace w pakietach dowodowych, które można eksportować lub archiwizować.
Ostatnia aktualizacja
31 sty 2026