@hackage / dovin

A proof assistant for Magic: The Gathering puzzles.

3.0.1

Version history