The Angel Recording the Truth
This is an educational game for first order logic. Concepts introduced include predicates, sets, and quantifiers. By introducing concepts one at a time in an interactive setting and letting related concepts build on itself, I hope that players will become more comfortable working with these concepts. I was probably a bit sloppy with some notation (for example, the Wikipedia page didn’t have examples using sets, so including them might really be an extension of first-order logic or something like that). If you really know this stuff and notice a huge mistake, please correct me.
Made in under 48 hours for Ludum Dare 46