Posts in Math (1 found)

Hi, world.

This is just a little blog i'm doing for the sake of spreading stuff I learn about. Fun, right? There will be mostly math and programming. \(a \to b\) $$\forall a. \forall b. (\forall c. c \to c) \to (a, b) \to (a, b)$$

0 views