User contributions for Sebastian Krings

08:2308:23, 9 December 2013 diff hist +6 Tutorial Disprover →How to use it, how it works
08:2208:22, 9 December 2013 diff hist 0 N File:Disprover-all.png No edit summary current
08:2208:22, 9 December 2013 diff hist +1,763 N Tutorial Disprover Created page with 'Category:User Manual == WARNING == This is work in progress! The disprover plugin is currently experimental. Please keep in mind, that you might run into some rough edges o…'
08:0908:09, 9 December 2013 diff hist +53 Tutorial No edit summary
08:0808:08, 9 December 2013 diff hist +1,311 N Tutorial Symbolic Constants Created page with 'Category:User Manual == Introduction == ProB Tcl/Tk as well as the probcli command-line version are able to store units symbolic…'
08:0008:00, 9 December 2013 diff hist +69 Tutorial No edit summary

13:3713:37, 7 January 2013 diff hist +982 N Tutorial Unit Plugin With Rodin Created page with 'Category:Tutorial Category:User Manual This tutorial describes, how ProB's integrated plugin for unit analysis can be used with Event-B machines from inside the Rodin p…'
13:3013:30, 7 January 2013 diff hist 0 Tutorial No edit summary
13:3013:30, 7 January 2013 diff hist +150 Tutorial add link to second physical units plugin tutorial