prob

ProB 2.0 UI Plug-in for Atom

bendisposto

90

0

0.1.0

EPL-1.0

GitHub

This package consumes the following services:

ProB 2.0 Atom UI

Currently this is just a playground for the development of the ProB 2.0

You probably don't find it useful at the moment!