Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 041ed5f2 authored by Theresa Pollinger's avatar Theresa Pollinger

Merge branch 'master' of

parents 97d41bf8 0497e30d
......@@ -11,14 +11,20 @@ python -m interview_kernel.install
## Running
You can then run the interview_kernel kernel as a console, notebook, etc.:
You can then run the interview_kernel kernel as a notebook:
jupyter console --kernel=interview_kernel
jupyter notebook --kernel=interview_kernel
## MMT dependencies
jupyter notebook --kernel=interview_kernel
You need to have a built version of (on branch cleanup)
and, which
can be found in mathhub archives MitM/smglom and MitM/MoSIS, respectively.
To start the server in the MMT Shell::
server on port 9000
extension info.kwarc.mmt.interviews.InterviewServer
extension info.kwarc.mmt.api.ontology.RelationalReader
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment