Deriving the AdS3/CFT2 correspondence | Synapse