processing...
home
authors
Emily Riehl
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Emily Riehl
Publications
A Type Theory for Synthetic ∞-Categories. Emily Riehl, Michael Shulman. 2017.