v0.13.1

Robin GIRARD

@robin.girard

b45933b5 · Prove the game unwinnable, and tidy the header (0.13.1) · Jul 29, 2026

0.13.1 — infeasibility proved; header tidied