अन्य लेखकों के कोक सबूत का अध्ययन करने में, मुझे अक्सर एक रणनीति का सामना करना पड़ता है, "आइक्क हेक" या "intro_b" कहें। मैं ऐसी रणनीति को समझना चाहता हूं।कोक सबूत में एक रणनीति की परिभाषा की परिभाषा
मुझे कैसे पता चलेगा कि यह एक कॉक रणनीति है या मेरी वर्तमान परियोजना में कहीं भी एक रणनीति नोटेशन परिभाषित किया गया है?
दूसरा, क्या इसकी परिभाषा को खोजने का कोई तरीका है?
मैंने खोजअबाउट, खोज, पता लगाएँ और प्रिंट का उपयोग किया लेकिन उपरोक्त प्रश्नों के उत्तर नहीं मिल सके।
'पता लगाएँ Ltac'' Locate' –