ALF (proof assistant)
ए. एल. एफ. ("एक और तार्किक ढांचा") चाल्मर्स विश्वविद्यालय में विकसित मोनोमॉर्फिक मार्टिन-लॉफ प्रकार सिद्धांत के लिए एक संरचना संपादक है। यह अल्फा, अगदा, कायेन और कोक प्रूफ सहायकों और निर्भर रूप से टाइप की गई प्रोग्रामिंग भाषाओं का पूर्ववर्ती है। यह प्रेरक परिवारों और आश्रित पैटर्न मिलान का समर्थन करने वाली पहली भाषा थी। लेना मैग्नसन और बेंग्ट नोर्डस्ट्रोम को आगे पढ़ने के लिए संदर्भ। "ए. एल. एफ. प्रूफ एडिटर और इसका प्रूफ इंजन"। थोर्स्टन एल्टेंकिर्च, वेरोनिका गैस्पेज़, बेंग्ट नोर्डस्ट्रोम और ब्योर्न वॉन सिडो। "ए. एल. एफ. के लिए एक उपयोगकर्ता की मार्गदर्शिका"। बाहरी लिंक अल्फा अकादमिक प्रोग्रामिंग भाषाएँ निर्भर रूप से टाइप की गई भाषाएँ सबूत सहायक