I wrote one of the first packages implementing chained numbered theorem environments for Typst, a (relatively!) new markup-based typesetting language.
I wrote one of the first packages implementing chained numbered theorem environments for Typst, a (relatively!) new markup-based typesetting language.