คุณอาจสะกดชื่อซอฟต์แวร์ผิด มันถูกจัดส่งเป็น Snap และ ชื่อ
ผู้พิสูจน์ทฤษฎีบทแบบโต้ตอบ Coq -
coq-prover.
Snap นี้ดูเหมือนจะใช้งานไม่ได้จริง ๆ ในแง่ของไฟล์เรียกใช้งานที่เสียหาย
ดังนั้นคุณมีสองทางเลือก:
สร้างตัวเรียกใช้งานด้วยตนเองเพื่อตั้งชื่อไฟล์ /snap/bin/coqide และใช้แอปพลิเคชันเวอร์ชัน Snap นี้ต่อไป
ลบ Snap ที่เสียหายนี้โดย
snap ลบ coq-prover
และติดตั้งเวอร์ชัน deb-packaged แทนโดย
sudo apt-get ติดตั้ง coqide
และใช้ตัวเรียกใช้งานที่ติดตั้งไว้ล่วงหน้า
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
