Category:Theory

Thanks to the simplicity of the rules, a few formal proofs of Hex facts can be given.