Zulip Chat Archive

Stream: job postings

Topic: stream events

Notification Bot (Apr 09 2021 at 03:17):

Stream created by Mario Carneiro.

Notification Bot (Mar 14 2022 at 20:02):

Mario Carneiro changed the access permissions for this stream from Public to Web-public.

Notification Bot (Jul 22 2023 at 10:15):

Scott Morrison changed the description for this stream.

  • Old description:

Job postings related to Lean or theorem proving

  • New description:

Job postings and opportunities for students, related to Lean or theorem proving

Last updated: Dec 20 2023 at 11:08 UTC