@Yves Bertot , who else is interested?
I have to leave now, but tomorrow when you join Hanneli we could talk a bit about it
This week turned out for me bad in terms of time, was unexpected unfortunately
Two week ago I had all the evenings free :/
No worries, thanks!
I should be available most of the day.
Hi Yves, unfortunately I had the morning booked with a long doctor appt, let me see how I can organize as I'm involved in 5 different topics
but if we don't manage today, we can try to manage in the jsCoq hacking day
(Sorry, I am in a different timezone and I did not see this message earlier). I don't think I can make it this evening (Paris time), unless it's after 21h (kinda late, sorry).
What about trying some extra session in one of these options (all CET - Paris time): Fri 18th at 16h, or Mon 21st at 16h, or Tue 22nd at 15h?
Hi Hanneli, indeed I'm gonna organize a jsCoq hacking day we can all attend and is focused, so we do the db there too
@Emilio Jesús Gallego Arias Shall we also add a topic for DB of Coq objects in https://github.com/coq/coq/wiki/jsCoq-Working-Day ? (and refactor the page titles accordingly)
Or maybe I can create a different page (to keep it organized)?
Yes please @Hanneli Tavante !
I think it fits well because jsCoq could make a very good interface to the DB
and the topic doesn't seem to big for now as to warrant a full event
I will add my other topics shortly
for example the DB could be a nice landing page
Updated :+1: - for reference https://github.com/coq/coq/wiki/jsCoq--and-CoqDB-Working-Day
@Yves Bertot I see you were mentioned in this thread about CoqDB. We are planning an upcoming session to work on it. Do you think you could make it to one of these timeslots? https://doodle.com/meeting/participate/id/lejjXAWe
@Lasse Blaauwbroek It looks like Thursday is the winning day; you can't make it at all? :(
@Hanneli Tavante With a bit of luck I might be there sometime during the first hour, but not beyond that.
@Lasse Blaauwbroek Cool, sorry about that. Thursday was indeed the winner, so we tried to arrange the schedule and put CoqDB as the initial topic, in the first hour. Hopefully, it'll work for you!
Last updated: Jun 10 2023 at 23:01 UTC