The Choquard equation in the half-space with a Robin boundary condition | Synapse