A Collection of Isabelle Programming Hacks

Updated 6 months ago

Isabelle/OFMC - Linking OFMC and Isabelle/HOL

Updated 2 years ago

su4sml - an SML repository for managing (Secure)UML/OCL models

Updated 4 years ago