1 mirror · Windows · Free
Pick from 1 verified mirror below. All deliver the same 90.2 MB file under the OpenSource under LGPL license.
1 available
About this software
Rodin : Turn to this powerful development platform that promises support for refinement and mathematical proof and helps you come up with reliable complex software system services
Read the full Rodin review and feature list →
Tips
If a mirror is slow or temporarily offline, just pick another from the list above — every mirror serves the identical 90.2 MBfile. Each link launches a brief 5-second redirect page so we can track which mirrors are healthiest.
At a glance