Hex — convenience aggregator for the released hex libraries.

Requiring hex pulls in every released executable core and Mathlib correspondence layer at a single coherent pinned set. import Hex re-exports all of them; or import an individual library directly. To depend on just a Mathlib-free computational package, require that package (for example hex-mv-poly or hex-lll) instead of hex.