We are organizing an upcoming Coq Hackathon and workgroup session to work 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).
At this time, we would like to define the date for this upcoming event. Please use this Doodle to select the option(s) that is (are) most convenient for you.
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