Looking for a Coq Tutor

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.)

1 Like

I’ve sent you a private message :slight_smile: