@hackage dovin0.1.0.0

A proof assistant for Magic: The Gathering puzzles.

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