Dear Rodin Users,
I am proud to announce Version 0.3.0 of my "Export to Isabelle" plug-in.
It allows you to export sequents to Isabelle/HOL for further analysis. I
use this plug-in to build new automated tactics for Rodin based on Isabelle.
More detailed informations can be found on
Get latest updates about Open Source Projects, Conferences and News.