Wikipedia Pages Linking to math.andrej.com
Wikipedia Links
Anchor text: Andrej Bauer's blog
Anchor text: An injection from N^N to N
Anchor text: The Hydra game implemented as a Java applet
Anchor text: The HoTT book (finished)
Anchor text: Coq Video tutorials
Anchor text: The Role of the Interval Domain in Modern Exact Real Arithmetic
Anchor text: An injection from N^N to N