Index - G
gainAttribute | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin |
gainLife | Dovin.Dump, Dovin.V1, Dovin.V2, Dovin |
GameMonad | Dovin.Types, Dovin.V1, Dovin.V2, Dovin |
Graveyard | Dovin.Types, Dovin.V1, Dovin.V2, Dovin |
dovin-0.1.0.1: A proof assistant for Magic: The Gathering puzzles.