Index - H
Hand | Dovin.Types, Dovin.V1, Dovin.V2, Dovin |
hasAttribute | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin |
haste | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin |
hexproof | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin |
highTideCounter | Solutions.Channel |
dovin-0.1.0.0: A proof assistant for Magic: The Gathering puzzles.