1. کتاب کمکی درس: Adam Chlipala , Certified Programming with Dependent Types, a pragmatic introduction to the Coq Proof Assistant, MIT press. نسخه‌ی آنلاین (html) از کتاب درس. نسخه‌ی pdf از درفت همان کتاب.
  2.  کتاب درس، نسخه‌ی سازگار با 8.6 Coq
  3. کتابِ درس: http://www.cis.upenn.edu/~bcpierce/sf/current/index.html
  4. کتاب راهنمای مرجع Coq.
  5. برای اجرای دستورات Coq تحت وب، می‌توانید به این پیوند مراجعه کنید.
  6. راهنمای نصب Coq: در سیستم‌عامل‌های Linux، Windows و Mac OSX.
  7.  کلاس‌های درس از طریق این پیوند اسکایپی و در روزهای یکشنبه و سه‌شنبه ساعت ۲ تا ۴ عصر برگزار می‌شود.
  8. گروه تلگرام: @ut1400lp
  9. این‌جا صفحه‌ی اختصاصی درس منطق و الگوریتم است که که به صورت مشترک با آقای دکتر علیزاده  در دانشگاه تهران (ترم بهار ۱۳۹۸) ارائه می‌شود.