Jason Rute (Oct 14 2022 at 11:35): Jason Rute (Oct 14 2022 at 11:35):Where is the best place to make job announcements focused to the Isabelle community? (If it is here on this Zulip, what stream is best?). The job will be about AI and theorem proving is it matters.
Manuel Eberl (Oct 14 2022 at 11:39):I'd say just put it in the Announcements stream. That's where everyone else seems to put them. I would suggest posting it on the isabelle-users mailing list as well.
Last updated: Dec 21 2024 at 12:33 UTC