ALF (proof assistant)
ALF ("ಮತ್ತೊಂದು ತಾರ್ಕಿಕ ಚೌಕಟ್ಟು") ಎಂಬುದು ಚಾಲ್ಮರ್ಸ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಅಭಿವೃದ್ಧಿಪಡಿಸಲಾದ ಏಕರೂಪದ ಮಾರ್ಟಿನ್-ಲೋಫ್ ಪ್ರಕಾರದ ಸಿದ್ಧಾಂತದ ರಚನೆಯ ಸಂಪಾದಕವಾಗಿದೆ. ಇದು ಆಲ್ಫಾ, ಅಗ್ಡಾ, ಕಾಯೆನ್ನೆ ಮತ್ತು ಕೋಕ್ ಪ್ರೂಫ್ ಸಹಾಯಕರು ಮತ್ತು ಅವಲಂಬಿತವಾಗಿ ಟೈಪ್ ಮಾಡಲಾದ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳ ಪೂರ್ವವರ್ತಿಯಾಗಿದೆ. ಇದು ಪ್ರೇರಕ ಕುಟುಂಬಗಳು ಮತ್ತು ಅವಲಂಬಿತ ಮಾದರಿಯ ಹೊಂದಾಣಿಕೆಯನ್ನು ಬೆಂಬಲಿಸಿದ ಮೊದಲ ಭಾಷೆಯಾಗಿದೆ. ಉಲ್ಲೇಖಗಳು ಲೆನಾ ಮ್ಯಾಗ್ನಸ್ಸನ್ ಮತ್ತು ಬೆಂಗ್ಟ್ ನಾರ್ಡ್ಸ್ಟ್ರಾಮ್ ಅವರನ್ನು ಮತ್ತಷ್ಟು ಓದುತ್ತವೆ. "ಎಎಲ್ಎಫ್ ಪ್ರೂಫ್ ಎಡಿಟರ್ ಮತ್ತು ಅದರ ಪ್ರೂಫ್ ಎಂಜಿನ್". ಥಾರ್ಸ್ಟನ್ ಆಲ್ಟೆನ್ಕಿರ್ಚ್, ವೆರೋನಿಕಾ ಗ್ಯಾಸ್ಪ್ಸ್, ಬೆಂಗ್ಟ್ ನಾರ್ಡ್ಸ್ಟ್ರಾಮ್ ಮತ್ತು ಜಾರ್ನ್ ವಾನ್ ಸಿಡೋವ್. "ಎ. ಎಲ್. ಎಫ್. ಗೆ ಬಳಕೆದಾರರ ಮಾರ್ಗದರ್ಶಿ". ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಆಲ್ಫಾ ಶೈಕ್ಷಣಿಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳು ಅವಲಂಬಿತವಾಗಿ ಟೈಪ್ ಮಾಡಿದ ಭಾಷೆಗಳು ಪುರಾವೆ ಸಹಾಯಕರು