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
|
# synproof package
# Matthew Bertucci 4/2/2022 for v1.0
#include:ifthen
#include:pstricks
#include:pst-node
#include:keyval
#keyvals:\usepackage/synproof#c
symbols
#endkeyvals
#ifOption:symbols
\Exists
\Forall
\Neg
\And
\Or
\Falsum
\Implies
#endif
\SetDim{options%keyvals}
\begin{synproof}{derivation length}#\pictureHighlight
\begin{synproof}[options%keyvals]{derivation length}
\end{synproof}
#keyvals:\SetDim,\begin{synproof}
NumToEx=%<number%>
ExToRule=%<number%>
OutLine=%<number%>
LineSpace=%<number%>
AssumeLine=%<number%>
HorAlign=%<number%>
#endkeyvals
\step{expression}{rule}
\step{expression}{rule}[label]
\step[line number]{expression}{rule}
\step[line number]{expression}{rule}[label]
\LineNum{number}
\assumption
\assumend
# not documented
\AssumeLine#*
\ExToRule#*
\LineSpace#*
\newctr{counter name}#*
\Num#*
\NumToEx#*
\OutLine#*
\ResetDim#*
\Start#*
\theembedding#*
\theendassumption#*
\theinfline#*
\thelab#*
\thestep#*
|
