bibliographer - Michael Shulman

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

The Univalence Principle Benedikt Ahrens Paige Randall North Michael Shulman Dimitris Tsementzis [github]

Univalent categories and the Rezk completion BENEDIKT AHRENS KRZYSZTOF KAPULKIN MICHAEL SHULMAN [github]

Calculating the Fundamental Group of the Circle in Homotopy Type Theory Daniel R. Licata Michael Shulman [github]

The HoTT library: a formalization of homotopy type theory in Coq Andrej Bauer Jason Gross Peter LeFanu Lumsdaine Michael Shulman Matthieu Sozeau Bas Spitters [github]

A Higher Structure Identity Principle Benedikt Ahrens Paige Randall North Michael Shulman Dimitris Tsementzis [github]

Library Size: 13G (5 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]