Finding Coq Freelancers


I wanted to ask are there any freelancers here or if anyone can advise as I am in need of assitance.

I am Yves Bertot, and you can probably find my e-mail address by using your favorite web-search tool. You can contact me on this topic and I will try to help you find help.

However, I am not a freelancer, in the sense that I do not develop code for a fee. I just hope to help you find someone that can help.

Hey Yves,

I appreciate you getting back to me. I just sent an email to you now please if you can review and get back to me I’d appreciate it.