xaviershay / dovin

A proof-assistant for Possibility Storm-style problems for Magic: The Gathering

Geek Repo

Github PK Tool