Replaced notebook and image repo for profile 'sir'

[MVPS] Modeling and Verification of Probabilistic Systems #mvps

Description

No description yet!

Fact	Value
Slug	mvps
Insitute	Lehrstuhl für Informatik 2
Base	rwth-courses
Course of Studies	M.Sc. Informatik
Faculty	Mathematics, Computer Science and Natural Sciences
Last Build	State failed #5679180 Commit 22d8a7a9 (Replaced contacts for profile 'sir' ) Date 2024-12-10T13:01:57.368+01:00 Duration 38.876797 seconds Triggered by Marcus Meyer (@mmeyer)
License	GPL-3.0-or-later
Copyright	2023, Lehrstuhl Informatik 2, RWTH Aachen University

Contacts

• Alexander Bork
• Tim Quatmann

Links

• Open Profile in JupyterHub
• Website
• Notebooks
• Dockerfile
• Profile Definition

Versions

PyPI / pip

Name	Version

Anaconda

Name	Version

Jupyter Lab Extensions

Name	Version

Jupyter Server / Notebook Extensions

Name	Version

Jupyter Kernel

Name	Version

Run locally

Install Docker and run:

$ docker run -p 8888:8888 registry.git.rwth-aachen.de/jupyter/profiles/mvps