We prove a formality theorem for the Fukaya categories of the symplectic manifolds underlying symplectic Khovanov cohomology over fields of characteristic zero. The key ingredient is the construction of a degree-one ...