Index - I
| incrementStep | Dovin.Types, Dovin.V1, Dovin.V2, Dovin |
| indestructible | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin |
| instant | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin |
| invert | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin |
dovin-0.2: A proof assistant for Magic: The Gathering puzzles.