Common counters for theorems

[csarr]

Description

Hello,

I'm trying to write French-language mathematical documents using Quarto. The usual practice in French books and articles is to have all environments share a counter :
Définition 1.
Proposition 2.
Théorème 3.
Corollaire 4.
Is this now possible to achieve in Quarto ?

Also, I'm interested in compiling my articles to Typst directly. I was pleased to see that theorems were working great out of the box with the default theorem and proof boxes, even in French.
In Typst it's possible to have different ctheorems theorem blocks sharing a counter by just making them share the same identifier. Even if the above is not possible in Quarto, would it be possible to customize something to get the above in compiled Typst documents ?

Thanks :-)

[mcanouil]

Shared counter is not possible and would very likely require quite a lot of work.

If you use Quarto+Typst, you can use Lua filter or post-render script to post-process the raw Typst.
It might also be possible to do it all in Typst, but you need to figure out how.
Use keep-typ: true to get acces to the typ file.

[csarr]

Thanks, I was able to use a Lua post-render script to make it work.
(For anyone reading this from the future, the only thing this script has to do in my case is replace instances of blocks like these

#let (corollary-counter, corollary-box, corollary, show-corollary) = make-frame(
  "corollary",
  text(weight: "bold")[Corollaire],
  inherited-levels: theorem-inherited-levels,
  numbering: theorem-numbering,
  render: simple-theorem-render,
)
#show: show-corollary

with

#let (corollary-counter, corollary-box, corollary, show-corollary) = make-frame(
  "theorem",
  text(weight: "bold")[Corollaire],
  inherited-levels: theorem-inherited-levels,
  numbering: theorem-numbering,
  render: simple-theorem-render,
)
#show: show-corollary

where "corollary" can also be any theorem like environment.)