[Machine] I asked Abdullah ibn Abbas and Abdullah ibn Umar how the night prayer of the Messenger of Allah ﷺ was. They said, "He would pray thirteen rakats, and he would perform witr with three rakats after the 'Isha prayer."
سَأَلْتُ عَبْدَ اللهِ بْنَ عَبَّاسٍ وَعَبْدَ اللهِ بْنَ عُمَرَ كَيْفَ كَانَ صَلَاةُ رَسُولِ اللهِ ﷺ بِاللَّيْلِ؟ فَقَالَا ثَلَاثَ عَشْرَةَ ثَمَانٍ وَيُوتِرُ بِثَلَاثٍ وَرَكْعَتَيْنِ بَعْدَ الْفَجْرِ