[math-fun] Experimental math workshop