Stream: Coq Hackathon and Working Group, Winter 2022

Topic: CoqBot Hacking Session


view this post on Zulip Jason Gross (Feb 15 2022 at 15:08):

@Théo Zimmermann Want to hack on coqbot / the bug minimizer at some point during the hackathon?

view this post on Zulip Théo Zimmermann (Feb 15 2022 at 15:09):

Hey! I won't have lots of time, but if people are interested, I could allocate some to this.

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

@Jason Gross I'd love at least to discuss some of the ideas I've been thinking about

view this post on Zulip Jason Gross (Feb 15 2022 at 15:24):

@Emilio Jesús Gallego Arias I'm happy to do that. Should we do so in a breakout room now, or schedule a session? (I'm generally available starting ~6:30am PST / 15:30 CET each day)

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

@Jason Gross I have to tweak my upcoming talk

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

after it I'm fine, if not tomorrow / Thu is fine too


Last updated: Mar 29 2024 at 09:02 UTC