Follow

Wbrew obiegowej opinii, "EM", używane do oznaczenia prawa wyłączonego środka, nie oznacza "excluded middle", tylko "there Exists such a Magic box" xD
cs.bham.ac.uk/~mhe/HoTT-UF-in-

· · Web · 0 · 1 · 0
Sign in to participate in the conversation
101010.pl

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!