Sharing theories

From Event-B
Revision as of 14:41, 16 November 2010 by imported>Nicolas (New page: Rodin 2.0+ with theory plug-in makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes. This page explains ho...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Rodin 2.0+ with theory plug-in makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes. This page explains how to share your theories with the community and how to get theories developed by other people.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Sharing_theories&oldid=9403’