Follow

I blogged about using the Z3 theorem prover to draw the new aperiodic “Hat” tile: hgreer.com/HatTile/

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.