Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

P

ProB 2 Jupyter Kernel
- Activity
- Members
- Labels
- Releases
- Model registry
- Environments
- Incidents

Snippets Groups Projects

- general
- stups
ProB 2 Jupyter Kernel

P

ProB 2 Jupyter Kernel

Project ID: 848

Project information

A Java-based Jupyter kernel for ProB 2

509 Commits
3 Branches
6 Tags

README
CHANGELOG

Created on

May 07, 2018

Select Git revision

1 result Searching

prob2-jupyter-kernel

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

Clone with SSH

Clone with HTTPS

Name	Last commit	Last update