dovin-0.2: A proof assistant for Magic: The Gathering puzzles. (Index - D)

dovin-0.2: 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 - D

damage	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
damageFormatter	Solutions.ExplorersOfIxalanContest
deathtouch	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
deathtouched	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
Deck	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
deck	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
DeclareAttackers	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
DeclareBlockers	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
defender	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
destroy	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
dinosaur	Solutions.WarOfTheSpark2
discard	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
doublestrike	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
DrawStep	Dovin.Types, Dovin.V1, Dovin.V2, Dovin