The Pure logical framework.
Notable Examples for Isabelle/Pure.
Miscellaneous examples and experiments for Isabelle/Pure.