dominant strategy.md ฯ 0.0% 0 words ยท 0 min Graph Mentions Graph Mentions cybics/crystal/location proof soft3/zheng/specs/proof-types