Every star is a fact a machine proved. Nothing else is on this map.
Click a star to read its proof · drag to turn · scroll to zoom · or pick a level on the left