Download Latest Version
ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Get an email when there's a new version of RODIN
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| StandardTheory0.2.1.zip | 2021-07-09 | 338.1 kB | |
| README | 2021-07-09 | 343 Bytes | |
| StandardTheory0.2.zip | 2014-12-19 | 189.8 kB | |
| StandardTheory0.1.zip | 2014-06-23 | 341.1 kB | |
| Totals: 4 Items | 869.4 kB | 0 | |
Theory Plug-in Standard Theories - Release Notes ================================================ Version 0.2.1 ------------- This version contains the same theories as version 0.2, but has been updated to work with Rodin 3.6. All proofs are done and can be replayed, as long as the Atelier-B provers and SMT provers plug-ins are installed.