CREATE TABLE device (device_id DECIMAL, device TEXT, carrier TEXT, package_version TEXT, applications TEXT, software_platform TEXT)
CREATE TABLE stock (shop_id DECIMAL, device_id DECIMAL, quantity DECIMAL)
CREATE TABLE shop (shop_id DECIMAL, shop_name TEXT, location TEXT, open_date TEXT, open_year DECIMAL)

Please show different software platforms and the corresponding number of devices using each.
SELECT software_platform, COUNT(*) FROM device GROUP BY software_platform
SELECT "software_platform", COUNT(*) FROM "device" GROUP BY "software_platform"