@article {38,
	title = {An experimental library of formalized Mathematics based on the univalent foundations},
	journal = {Mathematical Structures in Computer Science},
	volume = {FirstView},
	year = {2015},
	note = {<p>Pre-publication version is <a href="/vladimir/sites/math.ias.edu.vladimir/files/Univalent\%20library\%20paper\%20current.pdf">here</a>.</p>
},
	month = {2},
	pages = {1{\textendash}17},
	issn = {1469-8072},
	doi = {10.1017/S0960129514000577},
	url = {http://journals.cambridge.org/article_S0960129514000577},
	author = {Voevodsky, Vladimir}
}
