Ingo Blechschmidt iblech

Pinned Loading

1. An interactive Agda tutorial

   JavaScript 19 5

2. Agda as a collaborative multiplayer game

   JavaScript 39 6

3. Random notes on mathematics (in German)

   TeX 12 2

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

   TeX 60 3