Derive-it: a package for Fitch-style natural deductions (logic)

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:

7 Likes