Solving Magic: The Gathering puzzles with Dovin

Channel:
Xavier Shay
Subscribers:
445
Published on ● Video Link: https://www.youtube.com/watch?v=3kDe7Be7Rs8


Game:
Magic: The Gathering (1997)
Duration: 1:13:08
23 views
0

Dovin is a proof-assistant for Possibility Storm-style problems for Magic: The Gathering. Here is me solving one with it.

https://github.com/xaviershay/dovin
http://www.possibilitystorm.com/



Other Videos By Xavier Shay


2019-09-22Rhodes Jam
2019-09-09Introducing Vitamin Modules for VCV Rack
2019-09-08Sequencing VCV Rack with Reaper
2019-08-29Nightcreep - Breakdown
2019-08-29Nightcreep - VCP #38
2019-08-24Recreating a Juno-60 synthesizer with VCV Rack
2019-08-23Modular Synth DESTROYS Deantown except it didn't quite learn the notes
2019-08-21VCV Rack - Lead Patch Tutorial, Part 3
2019-08-19VCV Rack - Lead Patch Tutorial, Part 2
2019-08-18VCV Rack - Lead Patch Tutorial, Part 1
2019-02-23Solving Magic: The Gathering puzzles with Dovin
2018-04-03Ori DE All Skills No OOB Speedrun - 35:49
2018-03-23Stranger Throws
2018-03-15Ori DE 100% no OOB/TA Speedrun - 1:40:27
2018-03-07Ori DE 100% no OOB/TA Speedrun - 1:44:41
2018-02-25Ori DE All Skills No OOB Speedrun - 37:06
2018-02-24Ori DE All Skills No OOB Speedrun - 37:37
2018-02-24Ori DE All Skills No OOB Speedrun - 37:49
2018-02-24Ori DE All Skills no OOB Speedrun - 37:57
2018-02-09My Desk, January 2018
2017-10-28Let's Play Factorio: Bob's, Angel's and Yuoki's Mods - Part 45, Electronic Logic Boards


Tags:
programming
haskell


Other Statistics

Magic: The Gathering Statistics For Xavier Shay

Xavier Shay presently has 23 views for Magic: The Gathering across 1 video, and close to an hours worth of content for Magic: The Gathering published on his channel. This makes up 1.82% of the content that Xavier Shay has uploaded to YouTube.