در ریاضیات ترکیبیاتی، کدِ پروفر (دنبالهٔ پروفر یا اعداد پروفر) برای یک درخت برچسب دار، یک دنباله از اعداد است که به این درخت نسبت داده می شود. طول این دنباله برای یک درخت n رأسی دقیقاً n-2 است، و می توان آن را با یک الگوریتم تکرار شونده ساده تولید کرد. پروفر کد برای اولین بار به وسیلهٔ هینز پروفر برای اثبات فرمول کیلی استفاده شد.فرمول کیلی می تواند تعمیم داده شود تا ادعای زیر را ثابت کند:کد پروفر ...