We are happy to announce a virtual Coq Hackathon and Working Group on Feb 15th-17th 2022. We were hoping to make this event a hybrid one, but due to the current circumstances it will be online only.
The event is targeted at people who are interested in the implementation of Coq, and would like to learn more about how Coq works and possibly contribute to its development. We hope that the event will be accessible and fun for people at all levels of expertise.
The exact format and program of the event is currently open. We hope that there will be 1-2 talks or tutorials per day, with people self-organizing into working groups at other times.
Some preliminary activities are already written down in the wiki. Please feel free to both propose and request topics. Yes, you can request a talk or hacking session and we will try to find a person
interested in driving it.
I do have some Ocaml/fp experience and have played around with Idris so not totally new to it all but certainly not expert.
I guess I have arrived at Coq through the Tezos end of things ie I am trying to learn enough to get to a point where I could contribute on that front - not sure if there is anything there that people would want to chat about?
@wyn , I’d dare to say that beyond the scheduled talks, this event is a bit “scratch your own itch” w.r.t. Coq, so let me turn the question “what would you like to chat about”? Are you having any particular pain points you’d like to help provide feedback or even solve?