To the more exercise-inclined, there's this introductory game: https://incredibl... | Hacker News

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

BenoitP 31 days ago | parent | context | favorite | on: An Introduction to Formal Logic(2020) [pdf]

To the more exercise-inclined, there's this introductory game:

https://incredible.pm/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact