For G a Lie group acting on a symplectic manifold and preserving a pair of Lagrangians, we use techniques from infinity category theory to construct a G-equivariant Floer homology of L0 and L1 without equivariant transversality. We give a sample application to symplectic Khovanov homology. This is joint work with R. Lipshitz and S.

Sarkar.