Progress in superconductor-semiconductor topological Josephson junctions | Synapse