Jason Gross (Apr 07 2021 at 16:40): Jason Gross (Apr 07 2021 at 16:40):I'd really like to see this feature happen. @Théo Zimmermann do you have any updates on https://github.com/coq/bot/issues/107 ? Is there anything I can do to make this happen sooner?
Théo Zimmermann (Apr 07 2021 at 20:09):Really sorry about that @Jason Gross. I've been completely overwhelmed, so I couldn't even take time to answer your last comment. I'll make sure to do it soon.
Jason Gross (Apr 07 2021 at 20:10):Cool, thanks, and thanks for the response here, and no worries. Good luck with whatever's overwhelming you!
Last updated: May 28 2023 at 18:29 UTC