1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
# prooftrees package
# Matthew Bertucci 2022/08/05 for v0.7
#include:svn-prov
#include:etoolbox
#include:forest
#include:amssymb
#keyvals:\usepackage/prooftrees#c
tableaux
# options passed to forest package
external
linguistics
debug
#endkeyvals
#ifOption:tableaux
\begin{tableau}{tree preamble%keyvals}#\math
\end{tableau}
#endif
#ifOption:tableau
\begin{tableau}{tree preamble%keyvals}#\math
\end{tableau}
#endif
#ifOption:external
\tikzexternalize
\tikzexternalenable
\tikzexternaldisable
#endif
#ifOption:linguistics
\standardnodestrut#*
\standardnodestrutbox#*
\text{text}
#endif
\begin{prooftree}{tree preamble%keyvals}#\math
\end{prooftree}
# tableau defined if prooftree already defined
\begin{tableau}{tree preamble%keyvals}#S#\math
\end{tableau}#S
#keyvals:\begin{prooftree}#c,\begin{tableau}#c,\forestset#c
auto move#true,false
not auto move
line numbering#true,false
not line numbering
justifications#true,false
not justifications
single branches#true,false
not single branches
line no width=##L
just sep=##L
line no sep=##L
close sep=##L
proof tree inner proof width=##L
proof tree inner proof midpoint=##L
line no shift=%<integer%>
zero start
to prove={%<wff%>}
check with=%<symbol%>
check right#true,false
not check right
check left
close with=%<symbol%>
close with format={%<TikZ keys%>}
close format={%<TikZ keys%>}
subs with=%<symbol%>
subs right#true,false
not subs right
subs left
just refs left#true,false
not just refs left
just refs right
just format={%<TikZ keys%>}
line no format={%<TikZ keys%>}
wff format={%<TikZ keys%>}
proof statement format={%<TikZ keys%>}
highlight format={%<TikZ keys%>}
merge delimiter=%<punctuation%>
#endkeyvals
\linenumberstyle{number}
|
