Not logged in. · Lost password · Register

Member since Oct 2019
38 posts
Subject: Assignment 2 (PLNQ Proof Rules in MMT)
Dear all,

as discussed in the lecture on Wednesday, we have a second homework assignment: Finish the PLNQ proof rules that we started in the lecture.
You can find the assignment here:
A list of all assignments of this course is here:

In order to do the homework, you will have to install MMT. Installation instructions are here:
MMT should run Linux, Mac OS and Windows.
It would be great if you try to set it up already - if you have any problems feel free to post here. We can also discuss any issues with MMT (installation/usage) during the lecture on Wednesday.

One more note regarding the editor: There are two supported editors for MMT - jEdit and IntelliJ. jEdit is a light-weight editor, but not particularly great (in my opinion). Therefore we generally recommend the bigger IntelliJ IDE (though jEdit completely suffices for this course). If you decide to give IntelliJ a try you should know that you can get a student license with your university email address.

Member since Apr 2018
15 posts
Hi Frederik,

last week at the end of the lecture, Mathub worked perfect, but now I am having trouble with opening.

It gives an error:
     Cannot start compiler: the SDK is not specified for module "MMT-content".
     Specify the SDK in the Project Structure dialog.

Can you see the problem here?

Member since Oct 2019
38 posts
Hi Pelin,

maybe you can use it despite the error?

Otherwise: You can go to File -> Project Structure and maybe see what's going on there. I don't have a project SDK specified, but it works for me without a problem.
However, in the platform settings I have Java (version 1.8) listed in the SDKs.

Does any of this help you?

Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen