ALF (proof assistant)
اے ایل ایف ("ایک اور منطقی فریم ورک") مونومورفک مارٹن-لوف ٹائپ تھیوری کے لیے ایک اسٹرکچر ایڈیٹر ہے جو چالمرز یونیورسٹی میں تیار کیا گیا ہے۔ یہ الفا، اگڈا، کینی اور کوق پروف اسسٹنٹ اور انحصار ٹائپ شدہ پروگرامنگ زبانوں کا پیشرو ہے۔ یہ پہلی زبان تھی جس نے تعمیلی خاندانوں اور منحصر پیٹرن کے ملاپ کی حمایت کی۔ حوالہ جات مزید پڑھنا لینا میگنوسن اور بینگٹ نورڈسٹروم۔ "اے ایل ایف پروف ایڈیٹر اور اس کا پروف انجن"۔ تھورسٹن الٹینکرچ، ویرونیکا گیسپس، بینگٹ نورڈسٹروم اور بجرن وان سیڈو۔ "اے یوزر گائیڈ ٹو اے ایل ایف"۔ بیرونی روابط الفا تعلیمی پروگرامنگ زبانیں انحصار سے ٹائپ کی گئی زبانیں ثبوت معاونین