Logical Gates and Read-Out of Superconducting Gottesman-Kitaev-Preskill Qubits | Synapse