I blogged about using the Z3 theorem prover to draw the new aperiodic “Hat” tile: https://www.hgreer.com/HatTile/
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.
