Difference between revisions of "Sharing theories"
From Event-B
Jump to navigationJump to searchimported>Nicolas m (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...) |
(No difference)
|
Revision as of 14:41, 16 November 2010
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.
