ಸಂವಾದಾತ್ಮಕ ಪ್ರಮೇಯವನ್ನು ಸಾಬೀತುಪಡಿಸುವ ಸಾಧನ Coq (ಕಾಕೆರೆಲ್) ನ ಆವೃತ್ತಿ 8.12 ಅನ್ನು ಬಿಡುಗಡೆ ಮಾಡಲಾಗಿದೆ (ಸುದ್ದಿ ಬರೆಯುವ ಸಮಯದಲ್ಲಿ ಲಭ್ಯವಿರುವ ಇತ್ತೀಚಿನ ಸಣ್ಣ ಆವೃತ್ತಿ 8.12.1 ಆಗಿದೆ).
Coq ಗಲ್ಲಿನಾ (ಕೋಳಿ) ಅವಲಂಬಿತ ಪ್ರಕಾರದ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯನ್ನು ಒಳಗೊಂಡಿದೆ, ಇದು ಕಲನಶಾಸ್ತ್ರದ ರಚನೆಯ ಸಿದ್ಧಾಂತವನ್ನು ಆಧರಿಸಿದೆ.
Coq ವ್ಯವಸ್ಥೆಯು ಕಂಪ್ಯೂಟರ್-ಪರಿಶೀಲಿಸಬಹುದಾದ ಪ್ರಮೇಯ ಪುರಾವೆಗಳು ಮತ್ತು ಕಾರ್ಯಕ್ರಮಗಳೆರಡನ್ನೂ ನಿರ್ದಿಷ್ಟಪಡಿಸುವಿಕೆಗೆ ಅನುಗುಣವಾಗಿ ಪುರಾವೆಗಳೊಂದಿಗೆ ಅಭಿವೃದ್ಧಿಪಡಿಸಲು ನಿಮಗೆ ಅನುಮತಿಸುತ್ತದೆ.
ಹೊಸ ಆವೃತ್ತಿಯು ಪ್ರಮಾಣಿತ ಗ್ರಂಥಾಲಯ ಮತ್ತು ದಾಖಲಾತಿಯನ್ನು ಗಣನೀಯವಾಗಿ ಸುಧಾರಿಸಿದೆ ಮತ್ತು ಹಲವಾರು ದೋಷಗಳನ್ನು ಸಹ ಸರಿಪಡಿಸಿದೆ.
ಮೂಲ: linux.org.ru