dovin-3.0: A proof assistant for Magic: The Gathering puzzles. (Index - G)

dovin-3.0: A proof assistant for Magic: The Gathering puzzles.

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
_
All

Index - G

gainAttribute	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
gainLife	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
gameFinished	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
GameMonad	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
getTimestamp	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Graveyard	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Green	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin