> What is the Typst of formal modeling?

I'm not sure there is one, but you can start exploring here:

https://en.wikipedia.org/wiki/Category:Formal_specification_...

For TLA+-styled model checking, though, there is Quint: https://quint.sh/docs/why