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