Rodin Platform Installation
|
Name
|
Category
|
Installation
|
|
Rodin platform
|
Core software
|
- Requires Java 1.5
- Download
the installer then execute it
- Start Rodin
- Install the
B4free provers plugin to take full advantage of Rodin proof capabilities
|
|
User manual
|
Documentation
|
|
|
Tutorial
|
Documentation
|
|
Licence
Rodin is released under the
Common Public License Version 1.0 (CPL).
|