A Collection of Isabelle Programming Hacks

Updated 3 months ago

Isabelle/OFMC - Linking OFMC and Isabelle/HOL

Updated 2 years ago

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

Updated 5 years ago