I've been trying to script this, but the counters don't quite work the way I want them to! Specifically, I'd like the "corollary" and "proof" counters to be attached to the "theorem/lemma" counter, but the trailing number doesn't update - see Corollaries following Theorem 1.2 in the preview. I'd like them to go 1.2.1, 1.2.2, 1.2.3. Annoyingly, the attachment works here only after the first theorem - see Proofs following Theorem 1.1.1. I think #325 would help a lot here.

Project here.

UPDATE: Up on GitHub as typst-theorems.

Update: I managed to make this work, using a rather hacky manipulation of state (thanks to @laurmaedje !)
Once again, the complete solution is in this project.

UPDATE: Up on GitHub as typst-theorems.

Update: I managed to make this work, using a rather hacky manipulation of state (thanks to @laurmaedje !) Once again, the complete solution is in this project.

A nice work!

I am a little bit query can we do cross reference to theorem? I couldn't find a good way to create label on the thmbox

That's true; currently I'm using a messy state instead of a counter to keep track of the numbering. I'll try and implement proper labeling later. Feel free to open an issue at typst-theorems!

Update: A basic from of labeling/referencing for these theorem environments is up; see the example here.

I will port my latex template soonish, I hope that typst gets more extensive because I love these new projects.

That's true; currently I'm using a messy state instead of a counter to keep track of the numbering. I'll try and implement proper labeling later. Feel free to open an issue at typst-theorems!

Update: A basic from of labeling/referencing for these theorem environments is up; see the example here.

Thanks! This is very nice

This is a bit broad for an issue, so I'm gonna close this.