Abu Salama reported,

I asked Ayesha about the prayer of the Messenger of Allah ﷺ. She said, "He used to pray thirteen rakahs. He would pray eight rakahs, then perform witr, then pray two rakahs while sitting. When he wished to perform the bowing, he would stand up and bow. Then he would pray two rakahs between the call to prayer and the iqamah of the dawn prayer."

Muslim 1724

Sahih

و حدثنا محمد بن المثنى حدثنا ابن أبي عدي حدثنا هشام عن يحيى

عن أبي سلمة قال

سألت عائشة عن صلاة رسول الله ﷺ فقالت كان يصلي ثلاث عشرة ركعة يصلي ثمان ركعات ثم يوتر ثم يصلي ركعتين وهو جالس فإذا أراد أن يركع قام فركع ثم يصلي ركعتين بين النداء والإقامة من صلاة الصبح

مسلم 1724صحيح
Contents
Reference
Commentary
Ayat
Collection
Sahih Muslim
Book
Travelers' prayer and its shortening
Chapter
Night prayer, the number of rakats of the Prophet ﷺ at night, that Witr is one rakat, and that one rakat is a valid prayer
Numbering
Darussalam 1724
Muslim 1724