e-Beweise & eProofJS-ZIP-Datei
Beispielbeweise befinden sich in der eProofJS-ZIP-Datei auf GitHub. Entpacken Sie die ZIP-Datei in einem Ordner Ihrer Wahl und laden Sie eine Beispiel XML-Datei in die e-Proof-Umgebung. Kopieren Sie den Inhalt der XML-Datei in das Textfeld und laden Sie die Datei mit [Load XML]. Danach erscheint der Beweis in der Editorumgebung. Sie können aus der Editorumgebung auch die iMathAS-Datei exportierten. Sie müssen dazu aber in der Regel die Nummer für eProof-Hintergrundcode an Ihre IMathAS-Umgebung anpassen (EN 2018/01/14).