ALF (proof assistant)
ALF ("અન્ય તાર્કિક માળખું") એ ચાલ્મર્સ યુનિવર્સિટી ખાતે વિકસાવવામાં આવેલા મોનોમોર્ફિક માર્ટિન-લોફ પ્રકાર સિદ્ધાંત માટેનું માળખું સંપાદક છે. તે આલ્ફા, અગ્ડા, કેયેન અને કોક પ્રૂફ સહાયકો અને આશ્રિત રીતે ટાઇપ કરેલી પ્રોગ્રામિંગ ભાષાઓનો પુરોગામી છે. તે પ્રેરક પરિવારો અને આશ્રિત પેટર્ન મેળને ટેકો આપતી પ્રથમ ભાષા હતી. સંદર્ભો વધુ વાંચન લેના મેગ્નસન અને બેંગ્ટ નોર્ડસ્ટ્રોમ. "એએલએફ પ્રૂફ એડિટર અને તેનું પ્રૂફ એન્જિન". થોર્સ્ટન એલ્ટેન્કિર્ચ, વેરોનિકા ગેસ્પેઝ, બેંગ્ટ નોર્ડસ્ટ્રોમ અને બ્યોર્ન વોન સિડો. "એ. એલ. એફ. માટે વપરાશકર્તાની માર્ગદર્શિકા". બાહ્ય કડીઓ આલ્ફા શૈક્ષણિક પ્રોગ્રામિંગ ભાષાઓ આશ્રિત રીતે ટાઇપ કરેલી ભાષાઓ પુરાવો સહાયકો