Commit 38e3524c authored by Tom Wiesing's avatar Tom Wiesing

We have moved

parent 81e2b019
**interview_kernel** is a Jupyter kernel using MetaKernel magics.
## Install
from this directory, run
pip install .
python install
python -m interview_kernel.install
## Running
You can then run the interview_kernel kernel as a notebook:
jupyter notebook --kernel=interview_kernel
## MMT dependencies
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
This repository has been moved to
\ 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