ALF (proof assistant)
ஏ. எல். எஃப் ("மற்றொரு தர்க்கரீதியான கட்டமைப்பு") என்பது சால்மர்ஸ் பல்கலைக்கழகத்தில் உருவாக்கப்பட்ட மோனோமார்பிக் மார்ட்டின்-லோஃப் வகை கோட்பாட்டிற்கான ஒரு கட்டமைப்பு எடிட்டர் ஆகும். இது ஆல்ஃபா, அக்டா, காயென் மற்றும் கோக் ஆதார உதவியாளர்களின் முன்னோடியாகும் மற்றும் சார்ந்து தட்டச்சு செய்யப்பட்ட நிரலாக்க மொழிகள் ஆகும். தூண்டல் குடும்பங்கள் மற்றும் சார்பு முறை பொருத்தத்தை ஆதரிக்கும் முதல் மொழி இதுவாகும். குறிப்புகள் மேலும் வாசிப்பு லீனா மேக்னுசன் மற்றும் பெங்க்ட் நார்ட்ஸ்ட்ரோம். "ஏ. எல். எஃப் ப்ரூஃப் எடிட்டர் மற்றும் அதன் ப்ரூஃப் என்ஜின்". தோர்ஸ்டன் ஆல்டென்கிர்ச், வெரோனிகா காஸ்ப்ஸ், பெங்க்ட் நார்ட்ஸ்ட்ரோம் மற்றும் ஜோர்ன் வான் சிடோவ். "ALF க்கு ஒரு பயனரின் வழிகாட்டி". வெளிப்புற இணைப்புகள் ஆல்ஃபா கல்வி நிரலாக்க மொழிகள் சார்பு தட்டச்சு மொழிகள் ஆதார உதவியாளர்கள்