منصوبے کے بارے میں

Descent ایک سافٹ ویئر پروجیکٹ ہے جو Lean 4 میں لکھا گیا ہے اور جینیاتی نظریے کے لیے ایک رسمی ریاضیاتی فریم ورک فراہم کرتا ہے۔ اس کی بنیادی توجہ پولی جینک اسکورز (PGS) کی منتقلی پر ہے، جو مختلف آبادیوں میں ان کی درستگی اور حدود سے متعلق تین بنیادی سوالات کو حل کرتا ہے۔ اس ریپوزٹری میں `OpenQuestions.lean` میں تیار کردہ سخت ثبوت شامل ہیں جو انفرادی نقصان کی معلومات اور شور کی درجہ بندی کرتے ہیں۔ یہ ثبوت مقررہ دوم لمحات اور جینیاتی ان پٹس پر تیز قابل حصول حدود قائم کرتے ہیں، محدود ارتقائی یا رپورٹنگ بندش کی خصوصیت بیان کرتے ہیں، اور میٹرک ترتیب اور فیصلہ لاگت کے برعکس پہلوؤں کی تعریف کرتے ہیں۔ نظریاتی شعبوں میں معلوماتی نظریات کے لیے صوابدیدی مربع-انٹیگریبل نقصان اور تیز حدود کے لیے واضح محدود ماڈل کلاسز شامل ہیں۔ مزید برآں، گاؤشی نقصان کا شور گاؤشی پیمائش سے اخذ کیا گیا ہے۔ `CheckThreeQuestions.lean` میں ایک مشترکہ محور آڈٹ فراہم کیا گیا ہے۔ پولی جینک اسکور کی درستگی کی آبادیاتی پیش گوئی سے متعلق تفصیلی نتائج اور حدود کے لیے، صارفین کو `UNIVERSAL_PORTABILITY.md` دستاویز کی طرف رجوع کیا جاتا ہے۔ ### تعمیر پروجیکٹ کی تعمیر کے لیے، درج ذیل کمانڈز چلائیں: ```sh lake exe cache get lake build Descent ValidationShared ``` ### شراکت شراکتیں خوش آمدید ہیں۔ تاہم، سخت شرائط لاگو ہوتی ہیں: - ماڈلز کو فٹ کرنے کے لیے نقلیں کبھی استعمال نہیں کی جانی چاہئیں؛ وہ خصوصی طور پر موجودہ اخذوں کی توثیق کے لیے ہیں۔ - صرف تین محورات کی اجازت ہے: `propext`، `Classical.choice`، اور `Quot.sound`۔ ### لائسنس یہ پروجیکٹ Apache-2.0 کے تحت لائسنس یافتہ ہے۔