Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quantos contratos inteligentes foram desenvolvidos por cada desenvolvedor, e quem são eles?
 ###Tabelas: 
CREATE TABLE developers (developer_id INT PRIMARY KEY, name VARCHAR(50), age INT, gender VARCHAR(10), country VARCHAR(50)); CREATE TABLE smart_contracts (contract_id INT PRIMARY KEY, contract_name VARCHAR(50), developer_id INT, language VARCHAR(20), FOREIGN KEY (developer_id) REFERENCES developers(developer_id)); INSERT INTO developers (developer_id, name, age, gender, country) VALUES (1, 'Alice', 30, 'Female', 'USA'); INSERT INTO developers (developer_id, name, age, gender, country) VALUES (2, 'Bob', 35, 'Male', 'Canada'); INSERT INTO smart_contracts (contract_id, contract_name, developer_id, language) VALUES (1, 'Contract1', 1, 'Solidity'); INSERT INTO smart_contracts (contract_id, contract_name, developer_id, language) VALUES (2, 'Contract2', 1, 'Solidity'); INSERT INTO smart_contracts (contract_id, contract_name, developer_id, language) VALUES (3, 'Contract3', 2, 'Vyper');
SELECT developers.name, COUNT(smart_contracts.contract_id) as contract_count FROM developers INNER JOIN smart_contracts ON developers.developer_id = smart_contracts.developer_id GROUP BY developers.name;