8000 Stargazers · agda-web/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Stargazers

  1. @Saransh-cpp

    Saransh-cpp

    Works for @UCL-ARC, @UCL

  2. @cagix

    cagix

    Joined on Jul 8, 2016

  3. @wenkokke

    wenkokke

    Is from Scotland

  4. @L-TChen

    L-TChen

    Works for Institute of Information Science, Academia Sinica

0