| HN Mirror

Y	Hacker News new \| ask \| show \| jobs


	by nikivi 2076 days ago
	I collected many links here: https://wiki.nikitavoloboev.xyz/math/type-theory

1 comments

Awesome. :)