Is there a theorem package that is modifiable and can be adapted to Spanish?

Questions
1

I’m looking for a theorem environment package that is modifiable and can be adapted to Spanish.

2

(I’m biased but) there is my package, theoretic – Typst Universe. To translate you’d have to go through all environments you care about and change the supplement:

#import "@preview/theoretic:0.3.1"
#import theoretic.presets.basic: * // or another of the preset styles
#show ref: theoretic.show-ref

#let theorem = theorem.with(supplement: "Teorema")
#let lemma = lemma.with( // etc

// your document here