# Newbie Needs Tutor on ZOOM

**URL:** <https://discourse.rocq-prover.org/t/newbie-needs-tutor-on-zoom/1460>\
**Category:** Using Rocq\
**Created:** [October 12, 2021, 4:56pm UTC](https://discourse.rocq-prover.org/t/newbie-needs-tutor-on-zoom/1460 "2021-10-12T16:56:42Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![taker](https://avatars.discourse-cdn.com/v4/letter/t/71e660/32.png) [@taker](https://discourse.rocq-prover.org/u/taker)\
**Post date:** [October 12, 2021, 4:56pm UTC](https://discourse.rocq-prover.org/t/newbie-needs-tutor-on-zoom/1460/1 "2021-10-12T16:56:42Z")

</div>

Howdy,

I am a Coq newbie studying the nahas\_tutorial.v (and things like that) in the Coq Ide.

Progress is tough enough for me to ask whether there might be a non-beginner who is willing to take some time, say, via ZOOM (login to be provided), to accelerate my progress.

My goal is to prove theorems in yet-to-be-specified but relatively simple multi-sorted first-order theories-with-equality-per-sort.

Many thanks for your help.

Ellis D. Cooper

---

<div class="post-metadata">

**Author:** ![ybertot](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/ybertot/32/61_2.png) [@ybertot](https://discourse.rocq-prover.org/u/ybertot)\
**Post date:** [October 14, 2021, 8:19am UTC](https://discourse.rocq-prover.org/t/newbie-needs-tutor-on-zoom/1460/2 "2021-10-14T08:19:50Z")

</div>

I will gladly provide some tutoring time. Please reach by email (address is first name dot last name @ [inria.fr](http://inria.fr)) so that we can find a suitable time.

Yves