Not logged in. · Lost password · Register

Member for 2 months
29 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 for 2 months
29 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