I mean, do they say “I sleep at 9pm” or more like “I sleep at 2100 hrs” even while they are talking informally? 2100 hrs sounds very formal to me, but yeah, I was just wondering if they used 24 hour format for only official and government proceedings and used 12 hour format for casual stuff.
When people talk they speak in the 12 hour clock, but written communication is in 24hr
Both formats are commonly used in both cases.
Can confirm this is the case in Spain, always spoken as the 12hr equivalent but written in 24hr
It varies very much from country to country. In some it is perfectly fine to say “meet you at 19 o’clock” or similar.