Projects

Recent projects have a new home. Two actually! They're now in the Projects menu and on the Your work page, so you can resume work fast. Recent projects in Your work have also had an upgrade, with quick links to boards, queues, and filters.

All types
NameKeyTypeLead
BMotionWeb
BMSPROB
Classic software
Build System
BUILD
Classic software
CSPM-cspm
CSPM
Classic software
ProB 2.0
PROBCORE
Classic software
ProB Documentation
DOC
Classic software
ProB for Rodin
PROBPLUGIN
Classic software
ProB Parser Library
PARSERLIB
Classic software
ProB Tcl/Tk
PROB
Classic software
ProB-Kodkod
KODKOD
Classic software
prob2ui
PROB2UI
Classic software
SlotTool
SLOT
Classic software
SMT_Solvers_interface
SSIMT
Classic software
ZMQ-Extension
ZMQEXTENSION
Classic software