Our next Coq Hackathon and workgroup session is happening this Thursday, March 31st, 14h00 Paris time (08h00 NYC time - 05h00 Seattle time). Please join us! We’ll be focusing on two topics: jsCoq (see the Wiki section here) and the initial implementation of “CoqDB”, an attempt to develop a unified framework where information about Coq objects and metadata can be handled (see the Wiki section here).
This will be an entirely virtual session held at Zoom. Meeting link can be found on the event’s Wiki. Meanwhile, please add your name to the participants’ list, and fill the respective sessions with topics you’d like to discuss and work on.
We are looking forward to seeing you in our next work session! If you have any questions, do not hesitate to ask them at Zulip.