Coq Lab and Catch Up

[Joe Razavi]

Hi,

If you are interested in the Coq lab, please let me know when you are
free here:

http://www.doodle.com/97t2ymgx5bf9hemk

If you've stopped coming because you felt you weren't following, and
you think you would benefit from a catch-up session, please let me
know when you are free here:

http://www.doodle.com/fqefssfccmn5pb23

Thanks,

Joe