Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Materials and Software for the Practical Part
Roughly every second lecture will focus on practical aspects of representing mathematical knowledge in a formal system developed in our group, namely the MMT system.
We will follow a tutorial given at https://gl.mathhub.info/Tutorials/Mathematicians
That file also includes installation instructions for MMT.
This week it is possible but not necessary yet to install MMT on your computers. But we recommend you install it by next week.
Michael & Florian
We have just started uploading the course recordings at https://fau.tv/course/id/2378 (it will take a bit until they are converted).
Florian & Michael
Probleme MMT
Wenn ich Versuche vom “MathHub” pakete in intellij herunterzuladen, erhalte ich den Fehler:
MMT Error: (lmh) git clone https://gl.mathhub.info/Coq.git failed
MMT Error: (lmh) Error: Fail(Klone nach 'Coq' ... error: unable to read askpass response from '/bin/false' fatal: could not read Username for 'https://gl.mathhub.info': terminal prompts disabled ,128)
MMT Error: (lmh) installation has failed, please make sure that git is installed and try again.
Das ist bei allen Paketen so.
Wenn ich normal "git clone https://gl.mathhub.info/Coq.git " im terminal versuche, fragt er mich nach Username und passwort.
Das Problem entsteht nur bei MathHub, von github kann ich sonst ganz normal clonen/pushe/pullen/etc…
cloning geht sowohl von public repos ohne Nutzername/Passwort, als auch von meinen privaten repos mit Nutzername/Passwort abfrage.
$ git --version
git version 2.31.1
Viele Grüße,
Alexander