A Beauty Cold and Austere

Interactive fiction by Mike Spivey, 2017. https://ifdb.tads.org/viewgame?id=y9y7jozi0l76bb82

Great exploration of mathematical concepts in a text adventure form. Built with Inform 7. I really enjoyed this, and the author is local to the Seattle area, I think.