dovin-3.0: A proof assistant for Magic: The Gathering puzzles.
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Dovin
Documentation
module
Dovin.V3