Isabelle/Pure sessions
Pure
The Pure logical framework.
Pure-Examples
Notable Examples in Isabelle/Pure.