ALF (proof assistant)
এ. এল. এফ ("আরেকটি যৌক্তিক কাঠামো") হল চালমার্স বিশ্ববিদ্যালয়ে বিকশিত মনোমরফিক মার্টিন-লোফ টাইপ তত্ত্বের জন্য একটি কাঠামো সম্পাদক। এটি আলফা, আগদা, কায়েন এবং কোক প্রুফ সহকারী এবং নির্ভরশীলভাবে টাইপ করা প্রোগ্রামিং ভাষার পূর্বসূরি। এটি ছিল প্রথম ভাষা যা ইন্ডাক্টিভ পরিবার এবং নির্ভরশীল প্যাটার্ন ম্যাচিং সমর্থন করে। আরও পড়ুন লেনা ম্যাগনুসন এবং বেঙ্গট নর্ডস্ট্রম। "এ. এল. এফ প্রুফ এডিটর এবং এর প্রুফ ইঞ্জিন"। থর্স্টেন আলটেনকির্চ, ভেরোনিকা গ্যাস্পেস, বেঙ্গট নর্ডস্ট্রম এবং বিয়র্ন ভন সিডো। "এ ইউজার গাইড টু এ. এল. এফ"। বাইরের লিঙ্ক আলফা একাডেমিক প্রোগ্রামিং ভাষাগুলি নির্ভরশীলভাবে টাইপ করা ভাষাগুলি প্রমাণ সহকারী