Reversible interconversion of carbon dioxide and formate by an electroactive enzyme | Synapse