Hi! just wanted to post this here in case anyone in the future happened to need something like this. This is the link to the package: derive-it – Typst Universe, and you can can already compile the following code on the typst web app!
#import "@preview/derive-it:0.1.1": *
#ded-nat(stcolor: black, arr:(
("1", 0, $forall x (P x) and forall x (Q x)$, "PR"),
("2", 0, $forall x (P x -> R x)$, "PR"),
("1", 0, $forall x (P x)$, "S 1"),
("1", 0, $P a$, "IU 3"),
("2", 0, $P a -> R a$, "IU 2"),
("1,2", 0, $R a$, "MP 4, 5"),
("1,2", 0, $forall x (R x)$, "GU 6"),
))
Some examples:
