Skip to content

Watchers

  1. @avigad

    avigad

    Works for Carnegie Mellon University

  2. @hargoniX

    hargoniX

    Works for Lean FRO

  3. @Kiiyya

    Kiiyya

    Is from Portland, Oregon, USA

  4. @eemailme

    eemailme

    Joined on Sep 26, 2017

  5. @tomhoule

    tomhoule

    Works for @grafbase

  6. @yangky11

    yangky11

    Works for Meta Fundamental AI Research (FAIR)

  7. @alreadydone

    alreadydone

    Is from Heidelberg / Shenzhen

  8. @jaalonso

    jaalonso

    Works for Universidad de Sevilla

  9. @Seasawher

    Seasawher

    Is from Japan

  10. @jnlindsay

    jnlindsay

    Works for WiseTech Global