Slate, ein webbasierter Beweisassistent

Sebastian Reichelt wird uns seinen in Entwicklung befindlichen interaktiven Beweisassistenten Slate vorstellen. Das besondere an diesem Beweisassistenten ist, dass man Theoreme und Beweise nicht in einem Texteditor schreibt, sondern in einer webbasierten Oberfläche konstruiert.

Um am Treffen teilzunehmen reicht ein Klick auf den Jitsi-Meeting-Link. Es ist keine Installation von Zusatzsoftware nötig, ein moderner Webbrowser genügt.