@hackage / dovin

A proof assistant for Magic: The Gathering puzzles.

Latest3.0.1

Changelog

This release does not have a Changelog