HomeIsabelle/Phabricator

generic support for XZ and Zstd compression in Isabelle/Scala;

Description

generic support for XZ and Zstd compression in Isabelle/Scala;
support for Zstd compression in Isabelle/ML;