Rodin Handbook





 

4.1.1 Where can I get help?

In addition to this handbook, consider looking in the Rodin Wiki (1.1.2) for an answer.

There is also a vibrant community that is helpful and responsive. You can contact it via the Rodin user mailing list at rodin-b-sharp-user@lists.sourceforge.net.