Engineering the biological conversion of formate into crotonate in Cupriavidus necator | Synapse