Proving Games Are Winnable with Alloy | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Proving Games Are Winnable with Alloy (hillelwayne.com)
		3 points by Luc on May 21, 2019 \| hide \| past \| favorite

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact