Other Work in Progress

From Isabelle Community Wiki
Jump to: navigation, search

[Locale Browser:] A tool to visualize locale and class dependencies.

[Isabelle-ML-QuickCheck:] A quickcheck clone to support Isabelle/ML developments

[Default Types:] A mechanism to assign default types to variables