3 lines
122 B
Plaintext
3 lines
122 B
Plaintext
#import "prooftree.typ": *
|
|
#import "@preview/showybox:2.0.1": showybox
|
|
#set page(width: 5.6in, height: 9in, margin: 0.4in) |