Homotopijna teoria typów - dwójka matematyków pisała 600-stronicową książkę przez pół roku i właśnie udostępnili jej źródła na githubie (link także w powiązanych).
Od: mimi do s/matematyka z k/Nauka 4040 dni temu
URL:
http://audrey.fmf.uni-lj.si/hott.html