coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Looking for a Coq tutor (Paris / remote)

From: Gabriel Alfour <gabriel.alfour AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Looking for a Coq tutor (Paris / remote)
Date: Fri, 5 Apr 2019 16:19:22 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.alfour AT gmail.com; spf=Pass smtp.mailfrom=gabriel.alfour AT gmail.com; spf=None smtp.helo=postmaster AT mail-vs1-f47.google.com
Ironport-phdr: 9a23:SMO/DRQ00SX4WxSlgpbnMo3s69psv+yvbD5Q0YIujvd0So/mwa69YhSN2/xhgRfzUJnB7Loc0qyK6vmmATNLsMrJ8ChbNsAVD1ld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN7s9xgHVrnZKdOhbwWxlLk+Xkxrg+8u85pFu/zlMt/4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZSguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiCcGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcWMtaSi5PDZ6mb4YXAOUPPehWoYrgqVUQsRSzHhOjCP/1xzJSmnP6wa833uI8Gg/GxgwgGNcOvWzVotrvL6gSS+G1w7fMzT7ec/5W3Tn96I/VchA7vPqBWr1wftDKxkk1FgPKkFGQpZb/MDOR2OQNtHWb7/B7WOKgjm4osQBxojy1ysgwjYnJg5sYx1bZ/it62IY4PcO0RFJ/bNK+E5ZdtzuWO5VrTs4gWW1ltyQ3x7sbspChZicK0o4oxxvHZvyHbYeI5hXjWf6UIThihXJlfKuzhwip8US90+H8WMa53VRQoipKldnMsX8N1xjN5cSdVvR9+UKh1S6O1wDV9O5EPVg5mbTHJ5Ml2LI9lZoevV7dEiPrmkj6lqCbe0c89uit8evnY7HmppGGN49zjwHzKqsuldakDuQiMwgBQWyb9f6m273n8035R6hKjuctn6nWtZDVP8UbpqqjDwBJ1YYj7g6zDy2639QAgXkHMFVFdQqbgIjuIlHCOez3DfOig1u3izpr3PDHPrj5AprXNHTDkbHhfax860FG0gYzw8pftNpoDeQKJ+u2UUvsvvTZCAU4Okq62bXJEtJ4g6wXU3iOD6vRGafctkKSrrYgKuOWZYIR/j/5Jf84/dbhiHY4nRkWeqz/jshfU2yxAvkzexbRWnHrmNpUST5b7Dp7d/TjjRi5aRAWYn+zW6wm4TRiUdCpCI7CQsamh7nThX7nTK0TXXhPDxW3KVmtb5+NAq5eZyebI8snmTsBB+D4Ft0RkCq2vQq/8IJJa+rZ/ipC6MDm3dlxovPIzFQ8qWMyAMOa3GWACWpzmzFQSg==

Hi everyone!

I'm a young French entrepreneur building a company with a focus on formal verification. Obviously, Coq came to my interest and I subsequently read CPDT.

I am now trying to put it to good use, but I'm currently writing a smart-contract programming language and a blockchain layer-2. As such, I don't have enough time to learn by hacking and struggling.

This is why I'm looking for a Coq tutor, especially one with a strong experience with proof automation, as it will be my priority.
It would be paid by my company, so if you're interested, you should be able to send invoices. If you can't, but still want to help me, please send me an e-mail, I'm sure we can work something out :)

Thank you for reading and I hope you all have a good day!
G.A.

[Coq-Club] Looking for a Coq tutor (Paris / remote), Gabriel Alfour, 04/05/2019