# Looking for a Coq Tutor

**URL:** <https://discourse.rocq-prover.org/t/looking-for-a-coq-tutor/2661>\
**Category:** Miscellaneous\
**Created:** [April 27, 2025, 12:14pm UTC](https://discourse.rocq-prover.org/t/looking-for-a-coq-tutor/2661 "2025-04-27T12:14:04Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![zamojtel](https://avatars.discourse-cdn.com/v4/letter/z/94ad74/32.png) [@zamojtel](https://discourse.rocq-prover.org/u/zamojtel)\
**Post date:** [April 27, 2025, 12:14pm UTC](https://discourse.rocq-prover.org/t/looking-for-a-coq-tutor/2661/1 "2025-04-27T12:14:04Z")

</div>

Hi everyone,  
I’m currently studying Computer Science, and this semester we’re covering Coq in my Advanced Functional Programming class. It’s completely new to me and I’m finding it difficult to keep up with the course material. If anyone is interested in tutoring me, I would really appreciate it!  
(Of course, I’m willing to pay for your time.)

---

<div class="post-metadata">

**Author:** ![pedroabreu](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/pedroabreu/32/203_2.png) [@pedroabreu](https://discourse.rocq-prover.org/u/pedroabreu)\
**Post date:** [April 28, 2025, 1:46pm UTC](https://discourse.rocq-prover.org/t/looking-for-a-coq-tutor/2661/2 "2025-04-28T13:46:05Z")

</div>

I’ve sent you a private message 🙂