2
Emacs में Coq के लिए प्रूफ जनरल को कॉन्फ़िगर करना
मैंने डिफ़ॉल्ट इंस्टॉलर से अपने सिस्टम में Coq इंस्टॉल किया। फिर मैंने अपने मौजूदा emacs में प्रूफ जनरल जोड़ा। लेकिन समस्या यह है कि जब मैं emacs में एक कमांड चलाने की कोशिश करता हूं तो मुझे emacs से निम्नलिखित मिलते हैं, प्रोग्राम के लिए खोज ऐसी कोई फ़ाइल या …