Stream: Coq Hackathon and Working Group, Winter 2022

Topic: DB of Coq objects


view this post on Zulip Hanneli Tavante (Feb 16 2022 at 17:23):

Discussion topic

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:26):

@Yves Bertot , who else is interested?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:27):

I have to leave now, but tomorrow when you join Hanneli we could talk a bit about it

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:27):

This week turned out for me bad in terms of time, was unexpected unfortunately

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:27):

Two week ago I had all the evenings free :/

view this post on Zulip Hanneli Tavante (Feb 16 2022 at 17:27):

No worries, thanks!

view this post on Zulip Yves Bertot (Feb 17 2022 at 07:10):

I should be available most of the day.

view this post on Zulip Emilio Jesús Gallego Arias (Feb 17 2022 at 12:50):

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

view this post on Zulip Emilio Jesús Gallego Arias (Feb 17 2022 at 12:50):

but if we don't manage today, we can try to manage in the jsCoq hacking day

view this post on Zulip Hanneli Tavante (Feb 17 2022 at 13:47):

(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?
Thanks!

view this post on Zulip Emilio Jesús Gallego Arias (Feb 17 2022 at 14:00):

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

view this post on Zulip Hanneli Tavante (Feb 22 2022 at 14:53):

@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)?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 15:42):

Yes please @Hanneli Tavante !

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 15:43):

I think it fits well because jsCoq could make a very good interface to the DB

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 15:43):

and the topic doesn't seem to big for now as to warrant a full event

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 15:43):

I will add my other topics shortly

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 15:43):

for example the DB could be a nice landing page

view this post on Zulip Hanneli Tavante (Feb 22 2022 at 15:52):

Updated :+1: - for reference https://github.com/coq/coq/wiki/jsCoq--and-CoqDB-Working-Day

view this post on Zulip Hanneli Tavante (Mar 23 2022 at 14:50):

@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

view this post on Zulip Hanneli Tavante (Mar 24 2022 at 21:40):

@Lasse Blaauwbroek It looks like Thursday is the winning day; you can't make it at all? :(

view this post on Zulip Lasse Blaauwbroek (Mar 25 2022 at 12:53):

@Hanneli Tavante With a bit of luck I might be there sometime during the first hour, but not beyond that.

view this post on Zulip Hanneli Tavante (Mar 29 2022 at 02:16):

@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: Jan 29 2023 at 16:02 UTC