@hackage dovin0.2

A proof assistant for Magic: The Gathering puzzles.

Please see the README on GitHub at https://github.com/xaviershay/dovin#dovin