An outline roadmap for the future development
of the Rodin platform is available here.
The development of the platform will be driven largely by the needs of DEPLOY project but we welcome contributions from other researchers.
If you are interested in contributing to Rodin please contact
Michael Butler.
