Skip to content

GitLab

Explore

Sign in

general
stups
prob-teaching-notebooks

P

prob-teaching-notebooks

Project information

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.

212 Commits
1 Branch
0 Tags

README

Created on

April 15, 2020

Copy SSH clone URLgit@gitlab.cs.uni-duesseldorf.de:general/stups/prob-teaching-notebooks.git
Copy HTTPS clone URLhttps://gitlab.cs.uni-duesseldorf.de/general/stups/prob-teaching-notebooks.git