Pinned Loading

1. lets-play-agda lets-play-agda Public

   An interactive Agda tutorial

   JavaScript 26 6

2. agdapad agdapad Public

   Agda as a collaborative multiplayer game

   JavaScript 40 6

3. mathe-notizen mathe-notizen Public

   Random notes on mathematics (in German)

   TeX 13 2

4. internal-methods internal-methods Public

   Notes on how to use the internal language of toposes in algebraic geometry

   TeX 65 3