@hackage dovin3.0.1

A proof assistant for Magic: The Gathering puzzles.

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